Finite Quantum Models: Constructive Approach
to Description of Quantum Behavior
Vladimir V. Kornyak
Laboratory of Information Technologies, Joint Institute for Nuclear Research
141980 Duhna, Moscow region, Russia
E-mail: kornyak@jinr.ru
Abstract
Universality of quantum mechanics — its apphcabihty to physical systems
of quite different nature and scales — indicates that quantum behavior can
be a manifestation of general mathematical properties of systems containing
indistinguishable, i.e. lying on the same orbit of some symmetry group, elements.
In this paper we demonstrate, that quantum behavior arises naturally in systems
with finite number of elements connected by nontrivial symmetry groups. The
"finite" approach allows to see the peculiarities of quantum description more
distinctly without need for concepts like "wave function collapse", "Everett's
multiverses" etc. In particular, under the finiteness assumption any quantum
dynamics is reduced to the simple permutation dynamics. The advantage of the
finite quantum models is that they can be studied constructively by means of
computer algebra and computational group theory methods.
1 Introduction
The question of "whether the real world is discrete or continuous" or even "finite
or infinite" is entirely metaphysical, since neither empirical observations nor logical
arguments can validate one of the two adoptions — this is a matter of belief or taste. Of
course, discrete and continuous mathematical theories differ essentially and effectiveness
of their applications in physics depends on specific historical background. In particular,
since Newton's time to advent of modern computers analysis and differential geometry
were, in fact, the only tools for mathematical study of physical system^. With the
development of digital technologies the "discrete" style of thought becomes more and
^Poincare emphasized conventionality of choice between discrete (finite) and continuous (infinite)
descriptions of nature. It is interesting to trace evolution of his personal preferences. In the book "Value
of science" ([1], pp. 80-81 of English translation) he, denying fundamental validity of the concept
of continuum, appreciates its heuristic power very much: " The sole natural object of mathematical
thought is the whole number. It is the external world which has imposed the continuum upon us,
which we doubtless have invented, but which it has forced us to invent. Without it there would be no
infinitesimal analysis; all mathematical science would reduce itself to arithmetic or to the theory of
substitutions. On the contrary, we have devoted to the study of the continuum almost all our time
and all our strength. . . . Doubtless it will be said that outside of the whole number there is no rigor,
and consequently no mathematical truth; that the whole number hides everywhere, and that we must
strive to render transparent the screens which cloak it, even if to do so we must resign ourselves to
interminable repetitions. Let us not be such purists and let us be grateful to the continuum, which, if
all springs from the whole number, was alone capable of making so much proceed there from^
Several years later — after the first observations of quantum behavior in physical systems — Poincare
writes ([2], p. 643 of Russian translation): ^'Now we can not say that "nature does not make jumps"
1
more popular, and the real abilities of discrete mathematics in applications have
increased substantially. An important advantage of discrete description is its conceptual
"economy" in Occam's sense — the absence of "superfluous entities" based on the idea
of actual infinity such as "Dedekind cuts", "Cauchy sequences" etc. Moreover, in fact,
discrete mathematics is richer than continuous — continuity "smooths" subtle details
of structures. To realize this thesis, compare the lists of simple Lie groups and simple
finite groups. There are also many arguments that discrete description of physical
processes at small (Planck) distances is more adequate and that it makes sense to treat
continuity only as a logical framework for approximate ("thermodynamic") description
of large collections of discrete structures.
A remarkable feature of quantum mechanics is its universality. It is suitable for
description of systems of quite different physical nature in a wide range of sizes —
from elementary particles to large molecules. For example, experimental observations
of quantum-mechanical interference between the fuUerene Cqq molecules are described
in [3]. Such universality is usually inherent in theories at the heart of which some a
priori mathematical principles lie. An example of such universal mathematical scheme
is statistical mechanics. It is based on independent of specific physical system principles.
Most important of them are classification of microstates in accordance with their
energies and postulate of equipartition of energy over degrees of freedom. In the case of
quantum mechanics, the leading mathematical principle is symmetry. Only systems
containing indistinguishable particles demonstrate quantum-mechanical behavior —
any violation of identity of particles destroys quantum interferences.
In this paper we consider the main constituents of quantum description under the
assumption of finiteness of all sets involved in the constructions. With this approach
"everything can be reduced to arithmetic and to the theory of substitutions", in the
words of Poincare.
2 Basic Constructions and Notations
2.1 Classical and quantum evolution
We consider evolution of dynamical system with the finite set of states S = {si, . . . , Sn}
in the discrete time t G T = {...,— 1,0,1,...}. Considering finite evolutions we can
assume, for simplicity of notation, that T = [0, 1, . . . , T] , where T G N .
Classical evolution (or history, or trajectory) of the dynamical system is a sequence
of states depending on time . . . , St-i, Sj, St+i, . . . G
(Natura non facit saltus), — in fact, it acts just the other way around. And not only is the matter
reduced, possibly, to atoms, but even the world history and, I would say, the time itself, since two
instants within the interval between two leaps can not be distinguished because they belong to the same
state of the universe.^^ Then Poincare resumes his view of the problem: But we should not be too hasty,
because the only, that is obvious now, is that we are quite far from the end of the struggle between
two styles of thought — one, typical for atomists believing in existence of elementary items, such that
very large, but finite, number of their combinations is enough for explanation of the whole variety of
aspects of the universe, and another, inherent to the followers of ideas of continuity and infinity.
2
We assume that a finite symmetry group G = {gi = 1, . . . , gM} acts on the set of
states: G < Sym (S) .
A sequence of permutations . . . pt-i,pt,Pt+i ■ ■ ■ G G^ , determining the product
■ ■ ■ pt-i Pt Pt+i ■ ■ ■ G G , will be called quantum evolution — the meaning of this definition
will be clarified in what follows.
2.2 Dynamical systems with space structure
In physics the whole set of states S usually has the special structure of a set of functions
S = on some space X with values in some set of local states E . In dynamical
systems with space nontrivial gauge structures arise naturally. The gauge structures
are used in physical theories for description of forces.
We assume that the space is a finite set X = |xi, . . . ,X|x|} . Its symmetries form the
group of space symmetries F = |fi = 1, . . . , f|F|} < Sym (X) . The case when F is a
proper subgroup of Sym (X) implies that X possesses some additional structure. For
example, — and this is sufficient for our purposes — X may be an abstract graph.
The local states form a finite set S = {di, ■ ■ ■ ,(J\y:\} provided with the group of
internal symmetries T = {71 = 1, . . . , 7|r| } < Sym (S) .
There are different ways to combine the space F and internal F groups into the
symmetry group G of the whole set of states S = . The following equivalence class
of split extensions is a natural generalization of constructions used in physical theories
l^F^^G^F^l. (1)
Here F^ is the group of F -valued functions on the space X. Explicit formulas
expressing group operations in G from ([1]) in terms of operations in F and F are
presented in |H [5] — we do not need them in this paper.
2.3 Notational remarks
In view of our further purposes, it is convenient for us to include zero in the set of
natural numbers, i.e., we shall use the definition: N = {0, 1, 2, . . .} .
If it is necessary to indicate explicitly whether an element ip of a Hilbert space "H
is vector or covectoij^, we shall use the notations and \ , respectively.
For the standard inner product in K -dimensional Hilbert space we use the round
brackets:
K
(2)
For the invariant inner product the angle brackets are used:
' ' sec
where [/ is a representation of a group G in the space "H .
^Any Hilbert space is canonically isomorphic to its dual as a space with inner product.
3
3 Quantum Evolution of Dynamical System
The most popular and intuitive method of quantization is Feynman's path integral
approach [6]. This method is particularly well suited for dynamical systems with
space structures. According to the Feynman approach, the amplitude of quantum
transition from initial to final state is computed by summing up the amplitudes along all
possible classical trajectories connecting these states. The amplitude along a particular
trajectory is computed as the product of amplitudes of transitions between the nearest
subsequent states lying on the trajectory. Usually the amplitude is written as exponent
of the action along the trajectory
( } \
Aq exp [iS] = Aq exp I i / Ldt
^u(i) = Aq exp (iS) = Aq exp ( i j Ldt | . (4)
The function L , depending on first order time derivatives of states, is called Lagrangian.
In the discrete time the exponent of the integral turns into the product exp {i J Ldt) — ?■
e*^'''^ . . . e*'^*"^'* . . . e^^T~i,T g^j^j ^j^g amplitude takes the form
Au(i) = Aoe*^°-i...e^^*-^'*...e*-^^-i-^. (5)
It is natural to interpret the factors pt-i,t = e*^*-^ ' of this product as connections
{parallel transports) with values in one-dimensional unitary representation of the circle,
i.e., commutative Lie group F = 5*^ = M/Z.
Assuming that the group F is not necessarily and that its representation p (F)
is not necessarily one-dimensional, we obtain a natural generalization of ([5])|f|
^p(r) = p(aT,T-i) • • -PlttM-i) • • •p(«i,o)^o, e F. (6)
Now the amplitude is a multicomponent vector suitable for description of particles
having internal degrees of freedom and moving in space. We shall assume that F
is a finite group — recall that linear representations of finite groups are unitary
automatically. It is clear, that the standard quantization (j4]) can be approximated
via one- dimensional representations of finite cyclic groups.
As is well known, Feynman's approach is equivalent to the traditional matrix
formulation of quantum mechanics. According to the matrix formulation, the evolution
of a system from the initial to final state is described by the evolution matrix U :
IV^o) ~^ IV^r) = U . The evolution matrix can be represented as the product of
matrices corresponding to the elementary time steps:
U = Ut^t~i ■ ■ ■ Uf^t-i ■ ■ ■ Ui^Q.
In fact, Feynman's quantization rules — "multiply subsequent events" and "sum up
alternative histories" — is simply a rephrasing of the matrix multiplication rule. This is
clear from the below illustration, where two steps of evolution of a two-state quantum
system {one-quhit register) are presented in parallel in both Feynman's and matrix
forms:
^In the non-commutative case we should observe the correct order of operators — compatible in
this particular context with the tradition to write matrices on the left of vectors.
4
01 a)
BA
Mil Ul2
t
u
&2iail + ^22021 &2iai2 + ^22022
^i21 ^i22
According to the Feynman rules, the transition, say, between the states 02 and ipi is
the sum 611012 + 612022 over two paths. But this is just the element M12 of the matrix
product U = BA . The general case of many time steps and many states can easily be
deduced from this elementary example by induction.
The above reasoning works also in the case of non-commutative gauge connection
as in ([6]). We should only treat the evolution matrices A,B and U as block matrices
with non-commutative entries which are matrices from the representation p (F) . For
the sake of uniformity of consideration we can ignore this block structure and interpret
the matrices as ordinary matrices of larger dimension from representations of the whole
symmetry group G constructed in accordance with ([1]).
In quantum mechanics, evolution matrices U are unitary operators acting in Hilbert
spaces of state vectors (called also "wave functions", "amplitudes" etc.). Quantum
mechanical particles are associated with unitary representations of certain groups.
These representations are called "singlets", "doublets", and so on, in accordance with
their dimensions. Multidimensional representations describe the spin. A quantum
mechanical experiment is reduced to comparison of the system state vector tp with some
sample state vector provided by a "measuring apparatus" . According to the Born rule,
the probability to observe the coincidence of the states is equal to \{(f) \ 'ip)^ (assuming
the normalization {(p \ (p) = {tp \ tp) = 1). To make all these quantum concepts
constructive, we suppose that the evolution operators are elements of representations
of finite groups.
4 Quantum Description of Finite Systems
4.1 Permutations and linear representations
4.1.1 Group actions.
All transitive actions of a finite group G = {gi, . . . , giy} on finite sets Q = {ui, . . . , Un}
can easily be described [7]. Any such set is in one-to-one correspondence with the right
(or left) cosets of some subgroup H < G, i.e., Q = H\G (or Q = G/H). The set Q
is called the homogeneous space of the group G (or G -space). Action of G on is
faithful, if the subgroup H does not contain normal subgroups of G . We can write
action in the form of permutations
5
f ( Ha \
Maximal transitive set Vt is the set of all elements of the group G itself, i.e., the set
of cosets of the trivial subgroup H = {1} . The corresponding action is called regular
and can be represented by the permutations
Ii{g)=(^'\ z = l,...,M. (7)
To introduce a "quantitative" ("statistical") description, let us assign to the elements
of the set Vt numerical "weights" from some suitable number system M containing at
least zero and unity. This allows rewriting permutations in the matrix form
n;
7r(^) pig) = [p{9)ij] , where p{g)ij = 5<^,3,c.,; i,j = 1,
5a,/3 = S i' ^! " , ^' for a, 13 en.
10, if a p,
The function p, defined by ([8]), is called the permutation representation.
The cycle type of a permutation is the array of multiplicities of lengths of cycles in
the decomposition of the permutation into disjoint cycles. The cycle type is usually
denoted by \^^2^'^ ■ ■■n^", where ki is the number of cycles of the length i in the
permutation; < /cj < ra; fci + 2/c2 + ■ ■ ■ + nkn = n. The characteristic polynomial
of permutation matrix ([8]) can be written immediately from the cycle type of the
corresponding permutation '^{g) :
(A) = det {p{g) - AI) = (A - 1)^^ (A^ - l)'^ ■ ■ ■ (A" - 1)'=" . (9)
The matrix form of permutations ([7]) representing the regular action
U{g) ^ ng) = [n9)^i\ , n9\i = 4,3,e,, 2, J = 1, . . . , M (10)
is called the regular representation — this is a special case of more general permutation
representation ([8]).
For the sake of freedom of algebraic manipulations, one assumes usually that M is an
algebraically closed field — for example, the field of complex numbers C . If A/" is a field,
then the set f2 can be treated as a basis of linear vector space "H = Span (cui, ■ ■ ■ , Un) ■
4.1.2 Number systems
As is clear from ([H]), all eigenvalues of permutation matrices are roots of unity. This
— in combination with the fact that all irreducible representations of finite groups are
subrepresentations of regular representations (fTOj) — means that all numbers sufficient
for our purposes can be constructed from the natural numbers N = {0, 1, . . .} and
primitive root of unity r of a certain degree n . The term primitive means that r" = 1
and period of r is equal exactly to n . As the degree n one can always take the exponent
6
of the group G — the least common muhiple of orders of the group elements. But in
many cases some proper divisor of the exponent is enough. Any root of unity can be
expressed via the primitive root as r^, k G {0, 1, . . . , n — 1} . For intuitive perception
one could bear in mind the symbolics r = e^'^*/" for the primitive root, but we will
never use this representation. The following algebraic definitions are sufficient for all
our purposes
1. Multiplication: x T = r'=+"* ,
2. Complex conjugation: r^' = r"~^' .
Thus we will use as a number system the set of polynomials in r with natural
coefficients: A/" = N [r] .
If n = 1 , then M is the semi-ring of natural numbers N . This number system
corresponds to the case of trivial group G .
If n >2 , then the negative numbers can be introduced via the definition
(-1) = !^"''' , if n is even,
I r + ■ ■ ■ + r" , if n is odd.
In particular, at n = 2 the ring of integers arises: A/" = Z . This numerical system
corresponds to the case G = C2 (or G = C2 x ■ ■ ■ x C2) .
If n > 3 , then the set A/" = N [r] is a commutative ring embeddable into the field of
complex numbers C .
The ring N [r] is sufficient for all computations with the finite quantum models. For
descriptive simplicity of the linear algebra — in order to we could talk freely about
linear spaces — we will use also the quotient fielcfl of this ring. Sometimes square roots
of natural numbers may arise as intermediate technical symbols (in fact, square roots
of naturals can always be expressed in terms of roots of unity, but we do not need
this possibility). Neither roots of unity nor other irrationalities appear in the final
expressions having the status of "observables".
4.1.3 Unitary representations
Unitary operators play a key role in quantum mechanics. Any linear representation of
a finite group is equivalent to unitary, since one can always construct invariant inner
product from an arbitrary one by "averaging over the group". For example, invariant
product ([3]) is constructed by averaging the standard product defined in ([2]).
Let us describe briefiy the main facts [7| about irreducible representation of finite
groups, illustrating them with the help of the smallest non-commutative group — the
group of permutations of three elements Sym (3) . It is also isomorphic to the symmetry
group of a triangle, i.e., to the dihedral group Dg = Sym (3) . The group consists of six
elements having the following representation by permutations
gi = (), g2 = (2,3), g3 = (l,3), g4 = (l,2), g5 = (l,2,3), g6 = (1,3,2). (11)
^From a computational point of view, working over rings — though it shghtly coniphcates algorithms
— is more efBcient than computations over corresponding quotient fields. Modern computer algebra
systems use mainly the ring computations in the linear algebra algorithms.
7
An important transformation of group elements — an analog of change of coordinates
in physics — is the conjugation: a~^ga — )■ g', g,g' & G, a G Aut (G) . Conjugation
by an element of the group itself, i.e., if a G G , is called an inner automorphism.
The equivalence classes with respect to the inner automorphisms are called conjugacy
classes. Decomposition of a group into conjugacy classes, symbolically written as
G = K, + K2 + --- + K^,
plays an important role in the study of its representations.
Example. The group Sym (3) decomposes into three congugacy classes
Ki = {{)}, ^2 = {(2,3), (1,3), (1,2)}, i^3 = {(1,2,3), (1,3,2)}.
(12)
The group multiplication induces multiplication of the classes. The product of two
classes Ki and Kj is the multiset of all possible products ab, a ^ Ki, 6 G Kj
decomposed into classes. This multiplication is obviously commutative, since ab and
ba belong to the same class: ab ~ a~^ (ab) a = ba . Thus, the multiplication table for
classes is given by
KiKj = KjKi = y^^CjjkKk.
(13)
k=l
The natural integers Cij^ — multiplicities of classes in the multisets — are called class
coefficients.
Example. The group Sym (3) has the following multiplication table for classes
K^Kj = Kj, Ki = 3Ki + 3Ks, K2K; = 2K2, = 2R\ + K^.
Some of the main properties of linear representations of finite groups are listed below:
1. Any linear representation is (equivalent to) unitary.
2. Every possible irreducible representation is contained in the regular representa-
tion. More specifically, there exists (unitary) matrix T transforming simulta-
neously all matrices ffTOj) to the form
T-ip(^)T
'Di{g)
'D2{g)
D2{g)
'DM
DM
(14)
and any irreducible representation is one of the elements of the set {Di, . . . , -Dm} •
The number of non-equivalent irreducible representation m is equal to the
8
number of conjugacy classes Kj in the group G . The number dj is the
dimension of the irreducible component Dj and simultaneously the multiplicity
of its occurrence in the regular representation. It is clear from (fT^ . that
for the dimensions of irreducible representations the following relation holds:
d1 + d2 + ■ ■ ■ + d"^ = |G| = M. It can be proved also that the dimensions of
irreducible representations divide the group order: dj \ M.
3. Any irreducible representation Dj is determined uniquely (up to isomorphism)
by its character Xj ■ This is a function on the group defined as the trace of the
representation matrix: Xj id) = TrDj [g) . In fact, the character is a function
on the conjugacy classes since Xj id) = Xj {o-~^go-) ■ Such functions are called
central, and any central function is a linear combination of characters. The value
of character Xj the class Ki = {1} is equal to the dimension dj .
4. A compact form of recording all irreducible representations is the character table.
The columns of this table are numbered by the congugacy classes, while its rows
contain values of characters of non-equivalent representation:
K2
Xi
1
1
1
X2
X2 {Ki) = d2
X2 {K2) ■
■ ■ X2 (Am)
Xm
Xn.{K2) ■
According to the standard convention, the 1st column corresponds to the class
of the group identity, and the 1st row contains the trivial representation.
4.2 Embedding of quantum system into classical
In the most general formulation, quantum mechanics assumes that every physical
system corresponds to a Hilbert space "H non-zero vectors of which, ip ^Ti , represent
all possible states of the system. It is assumed also that vectors ip and ip' describe
identical states if they are proportional through a complex factor: ip' = Xijj, A G C.
Evolution of the system from any initial state ipQ into the corresponding final state
ipT is described by an unitary operator U : \iPt) = U \iPq) . The unitarity means that
U belongs to the automorphism group of the Hilbert space: U G Aut (Ti) . One may
regard Aut (H) as a faithful unitary representation of respective abstract group G . In
the continuous time the dynamics can be expressed by the Schrodinger equation
^^^\^P) = H\^|J)
in terms of the local operator H called the Hamiltonian or energy operator. If the
Hermitian operator H is independent of time, then it is connected with the unitary
evolution operator U by the simple relation U = e~*^"^.
A finite quantum system is formulated in exactly the same way. The only difference
is that now the group G is assumed to be a finite group of order M having unitary
9
representation U in K -dimensional Hilbert space "Hk • All possible evolution operators
form the finite set {Ui, . . . ,Um} of unitary matrices from U . Since the matrices Uj
are non-singular, one can always introduce Hamiltonians by the formula Hj = iln Uj ,
but there is no need to do so. Note that many applications of quantum mechanics —
e.g., quantum computing or S -matrix approach — mostly avoid use of Hamiltonians.
Finite groups — if they are "sufficiently non-commutative" — can be often generated
by a small number of elements. For example, all simple and all symmetric groups
are generated by two elements. The algorithm restoring the whole group from Ug
generators is very simple. It is reduced to Ug (M — — 1) group multiplications. So
the finite quantum models are well suited for study by the computer algebra methods.
It follows from decomposition (1141) that any K -dimensional representation U can
be extended to an N -dimensional representation U in a Hilbert space , in such a
way that the representation U corresponds to the permutation action of the group G
on some N -element set of states S = {si, . . . , Sn} . It is clear that N > K .
The case when N is strictly greater than K is most interesting. Clearly, the
additional "hidden parameters" — appearing in this case due to increase of the number
of states (dimension of space) — in no way can affect the data relating to the space
"Hk since both "Hk and its complement in "Hn are invariant subspaces of the extended
space "Hn • Thus any quantum problem in K -dimensional Hilbert space can be reduced
to permutations of N things.
From the algorithmic point of view, manipulations with permutations are much more
efficient than the linear algebra operations with matrices. On the other hand, degrees
of permutations N might be much larger than dimensions of matrices K . However,
the possibility to reduce quantum dynamics to permutations in principle is much more
important from the conceptual point of view than the algorithmic issues.
Example. The group Sym (3) has the following character table
Ki
K2
K3
Xi
1
1
1
X2
1
-1
1
X3
2
-1
(15)
The contents of the classes Ki, K2, are presented in (fT2|) . As the representation U
describing quantum evolution, let us take the two-dimensional faithful representation
corresponding to the character xs • The matrices (evolution operators) of this
representation — ordered in accordance with (ITTl) — are the following
'I
0"
, f/2 =
'0
r2"
, f/3 =
"0
r
1
r
"0
1"
72
0"
r
0"
1
r
(16)
where r is a primitive third root of unityEI
Note the peculiarity of representation ()16|) — its matrices are very similar to matrices of
permutations: there is exactly one non-zero entry in each column and in each row. But in contrast to
10
Quantum and permutation matrices for Sym (3) . Any permutation representa-
fl]
tion contains one-dimensional invariant subspace with the basis vector '■ . So there
1
is only one way to extend (fT6|) to the permutations of three elements — we must add
the trivial representation corresponding to the character Xi (flSj) — and come to the
3-dimensional representation U with the matrices
1
f/,-
,6.
(17)
These matrices are permutation matrices in the basis in which the permutation
representation is decomposed into invariant components. We shall call such bases
quantum. In the permutation basis matrices fllTp are, respectively, the following
"1
"1
1"
Pl =
1
, P2 =
1
1
1
1
1
1
1
1"
Pa =
1
, P^ =
1
, Pg =
1
1
1
1
The most general unitary matrix of transition from the permutation basis to the
quantum — we define this transformation matrix via the relation Uj = T^^P^T —
takes the form
a b br"^
a b
a br br
1
7!
where a and b are arbitrary elements of the set {1, r, r^} . The concrete choice of
these elements is absolutely inessential, since they dissapear in the inner products
included in the expressions for observables. So finally we take the following form for
the transformation matrix
1
7!
1 1 r2"
1 r2
1 r
1
7!
(19)
As we shall see later, all information about the "quantum behavior" of the group
Sym (3) acting on the set of 3 elements is encoded, in fact, in this matrix.
permutation matrices in which any non-zero entry is unity, non-zeros in ()16p are roots of unity. This is
because Sym (3) is one of the so-called monomial groups for which all irreducible representations
can be constructed as induced from one-dimensional representations of their subgroups (the relevant
to subgroup is C3 < Sym (3) ). Note also, that most groups, at least of small orders, are just
monomial. For example, the total number of all non-isomorphic groups of order < 384 is equal to
67424, but only 249 of them are non-monomial. The minimal non-monomial group is the 24-element
group SL (2, 3) of 2 x 2 matrices in the characteristic 3 with unit determinants.
11
4.2.1 On simulation of quantum computing via finite groups
Designing a quantum algorithm is reduced to constructing unitary operator realizing
the algorithm from a given set of standard operators (gates). There are universal sets
of gates. The universality means that any unitary operator can be approximated by
combination of operators from this set, i.e., the gates are generators of finitely generated
group which is dense in the set of all unitary operators acting on corresponding quantum
register. Let us consider, e.g., the following set of operators:
fl 1 1
(a) the Hadamard gate H = -j= , (b) "the phase shifter (oi phase rotating)
gate'' R{9)
and (c) ''the controUed-NOT gate'' CNOT
At certain values of parameter 9 these operators generate finite groups. For example,
at 9 = 1/4, on two-qubit register, the generated group G has the size 36864. The
computer algebra system GAP [8] gives the following structure for this group:
G - ((((Cg X C2) X C2) X C3) X C2) X ((SL (2, 3) x C4) x C2) .
If the value of 9 is in general position, the operators (a), (b) and (c) form universal
set of gates and, hence, generate infinite groups. But these groups, in a certain sense,
are close to finite — they are residually finite.
Recall that a group G is called residually finite [9] if for each its element g ^ 1 ,
there is a homomorphism (j) : G ^ H onto a finite group H , such that (j){g) 7^ 1 .
This means that any relations between the elements of G can be simulated by relations
between the elements of some finite group. According to Mal'cev's theorem: any finitely
generated group of matrices over a field is residually finite.
Thus, any universal set of gates generates residually finite groups. This makes it
possible to simulate quantum computations by finite models in analogy to the widely
used in physics trick when to solve a problem, an infinite space is replaced by a torus
of the size sufficient to embrace the data of the problem.
4.3 Connection of mathematical description with observation.
The Born rule.
There are some subtleties in transition from mathematical description of systems with
symmetries to observable "objects" or "quantities". A detailed discussion of the subject
can be found in the paper [10], and in the book [11] pp. 160 et seq. In short, the point
is that for registration and identification of elements of a system, arbitrarily chosen
marks are used. Only such relations and statements have objective meaning as are not
dependent on any change in the choice of the labels, since such a change is nothing
more than a renaming. In systems with symmetries "objects" forming "homogeneous"
set (more formally, lying on the same group orbit) have different labels, but they
are indistinguishable in an absolute sense. It is possible to fix such objects only with
respect to some additional system which appears as ''coordinate system"., or "observer",
12
or measuring device". For example, no absolute objective meaning can be attached to
points of space, denoted (marked) as vectors a and b . But the relation between the
points denoted as b — a (or in more general group notation a~-'-b) is meaningful. This
is an example of the typical situation where observable objects or relations are group
invariants depending on pairs of elements. One of the elements of such a pair is related
to observed system and another is related to observer.
In quantum mechanics, the link between mathematical description and experiment
is provided by the Born rule [12], stating that the probability to observe a quantum
system being in the state ip by apparatus tuned to the state is expressed by the
number
1(0
(0
p(0,^)= , (20)
This expression can be rewritten in a form including the pair "system-apparatus" in
more symmetric way
Here (p A ip is exterior (Grassmann) product of the vectors and ip , which is the
K(K — l)/2 -dimensional vector with the components in the unitary basis (0 A '^py^' =
(jfip^ — (f)^ip^ and with the square of norm
K-l K
1=1 j=i
In quantum mechanics, it is usually assumed that the state vectors are normed, i.e.,
{(f) \ (j)) = {ip \ ip) = 1 , and the Born rule is written in the form P(0, -0) = \{(f) \ .
This simplifies computations. As an illustration, we can easily check that the function
P(0, ip) satisfies the basic property of probability — the sum of probabilities of all
possible results of observations of the state ip is equal to unity. Namely, for any
orthonormal basis {Q!i,...,aK} in a Hilbert space "H we have:
i=l
(ail
i=l
^) = {iJ\^) = l.
However, we — trying to stick to as simple as possible number system — will not use
the normalization of vectors.
There are many philosophical speculations concerning the concept of probability
and its interpretation. However, what is really used in practice is the frequency
interpretation: the probability is the ratio of the number of favorable cases to the
total number of cases. In the case of finite sets there are no complications at all: the
probability is the rational number, the ratio of the number of singled out elements of
a set to the total number of elements of the set.
It can be shown that if data about states of a system and apparatus are represented
in the permutation basis by natural numbers, then formula (120|) gives rational numbers
13
in the invariant subspaces of the permutation representation also, in spite of possible
presence of cyclotomic numbers and irrationalities in the intermediate computations.
Let us consider permutation action of the group G = {gi,...,gM} on the set of
states S = {si, . . . , S|\|} . We will describe the states of the system and apparatus in the
permutation representation by the vectors
\n)
ni
and |m)
mi
rrtN
(21)
respectively. It is natural to assume that rij and mj are natural numbers, interpreting
them as the "multiplicities of occurrences" of the element in the system and
apparatus states, respectively. Of course, due to the symmetry these numbers are not
observable. Only their invariant combinations are observable. Since the standard inner
product defined in ([2]) is invariant for the permutation representation, in accordance
with the Born rule we have
Pfm, n)
Ei rrii^ Ei rii
2 ■
(22)
It is clear that for non-vanishing vectors n and m with the natural components
expression (122|) is a rational number strictly greater than zero. This means, in
particular, that it is impossible to observe destructive quantum interference here.
However, the destructive interference of the vectors with natural components can
be observed in the proper invariant subspaces of the permutation representation.
Moreover, non-zero probabilities — observable in the invariant subspaces — are rational
numbers. Let us illustrate this by an example.
Illustration: Group Sym (3) acting on three elements. The state vectors in
the permutation basis are \n)
n3
and |m)
mi
rris
. With the help of unitary
transformation matrix f[T^ we can transform the system state vector n from the
permutation basis to the quantum basis
T-i \n) = ^
1 1 1
1 r r2
r 1 r2
rii
n3
1
7!
ni+n2 + ris
ni + n2't + nsr^
riit + n2 + nsr^
The apparatus vector m is transformed in the same way:
mi -|- m2 + m3
T"^ |m)
1
7!
mi + m2r
mir -|- 1712
The projections of these vectors onto two-dimensional representation f ll6p are:
77-1 + n2r + n^r
nir + n2 + n^r"^
mi + m2r + mar
mir + m2 + m^r'^
14
We discarded here the coefficient l/-\/3j since the Born probabihty is a projective
invariant. Note that the vectors ip and vanish if and only if
ni= n2 = and mi = 772,2 = '"^3? (23)
since the primitive root of unity r satisfies the equation 1 + r + = . Conditions
f l23|) determine the eigenvector of the one-dimensional trivial subrepresentation which
is orthogonal to the considered two-dimensional one.
The constituents of Born's probability (12U|) for the two-dimensional subsystem are
= 3 {nj + nl + nf) - {rii + 773 + 773)^ , (24)
(0 I 0) = 3 (777^ + ml + 7773) - (7771 +7712 + 'm^f' , (25)
\{4> {■ip)^ = (3 (mir7i + 7n2n2 + 7773773) - (7771 + 7n2 + 7773) (r7i + 712 + 773))^ . (26)
Note that:
1. Expressions fl24p -f l2B]) consist of the i7ivariants of permutation represcTitation.
This emphasizes the fundamental role of permutations in quantum description.
2. Expressions and fl2S]) are always positive integer numbers. (Unless conditions
(123|) . at which these expressions vanish, hold.)
3. The conditions for destructive quantum interference — i.e., for vanishing Born's
probability — are determined by the equation
3 (7721771 + 7n27i2 + msris) - (mi + 7n2 + 7713) (771 + 712 + 713) = 0.
This equation has infinitely many solutions in natural numbers. An example of
"l"
"l"
such a solution is: 77) =
1
, |m) =
3
2
2
Thus, we obtained, by a simple transition to the invariant subspace, essential features
of quantum behavior from "permutation dynamics" and "natural' interpretation (12T])
of quantum amplitude.
5 Conclusion
The analysis of quantum behavior with the help of finite models leads to conclusion
that quantum mechanics is — rather then a physical theory — an a priory mathematical
scheme at the heart of which the indistinguishability of objects lies, i.e., this is
some kind of "calculus of indistinguishables" (in analogy to the term "calculus
of infinitesimals" of continuous mathematics). Quantum behavior is based on the
fundamental impossibility to trace the identity of homogeneous objects in the process
of their evolution.
Contemplating similar subject H. Weyl wrote (|I0], p. 242): "For now we are told
only how many elements, namely Tii (t) , are found in the state Ci (t) at any time t ,
15
but no clues are available whereby to follow up the identity of the n individuals through
time; we do not know, nor is it proper to ask, whether an element that is now in the
state, say C5 , was a moment before in the state C2 or Cq ."
Therefore, the only ("statistical") statements about numbers of certain invariant
combinations of elements may have objective significance. These statements must be
expressed in terms of group invariants and natural numbers (not necessarily mutually
independent) characterizing the symmetry groups, such as sizes of orbits, sizes of
conjugacy classes, class coefficients, dimensions of irreducible representations, etc.
Acknowledgment. The work was supported by the grants 01-01-00200 from the
Russian Foundation for Basic Research and 3810.2010.2 from the Ministry of Education
and Science of the Russian Federation.
References
Poincare H. La valeur de la Science. - Paris: Flammarion, 1904. English
translation: The Value of Science. New York: Dover, 1958.
Poincare H. Les conceptions nouvelles de la matiere. Foi at vie, 15, 1912, 185-191.
Russian translation in: IlyaHKape A. nayne. M.: Hayxa, 1990.
Nairz O., Arndt M., Zeilinger A. Quantum Interference Experiments with Large
Molecules. Am. J. Phys., 71, No. 4, 2003, 319-325.
Kornyak V.V. Quantization in Discrete Dynamical Systems. J. Math. Sci., 168,
No. 3, 2010, 390-397.
Kornyak V.V. Structural and Symmetry Analysis of Discrete Dynamical Systems.
2010. http://arxiv.org/abs/1006.1754
Feynman, R. P., Hibbs, A. R. Quantum Mechanics and Path Integrals. New York:
McGraw-Hill, 1965.
Hall, M., Jr. The Theory of Groups. New York: Macmillan, 1959.
http:/ /www.gap-system.org/
Magnus W., Karrass A., Solitar D. Combinatorial Group Theory. New York: Dover,
1976.
Weyl H. Ars Combinatoria. Appendix B; in Philosophy of Mathematics and
Natural Science, Princeton University Press, 1949.
Shafarevich, I. R. Basic Notions of Algebra. Berlin, New York: Springer, 1990.
Landsman N.P., Born Rule and its Interpretation, pp. 64-70 in Compendium of
Quantum Physics, Greenberger D., Hentschel K., Weinert F. (Eds.), Springer,
2009.
16
KOHGHHbie KBaHTOBbie MO^ejIH: KOHCTpyKTHBHblH
no^x^o^ K onHcaHHK) KBaHTOBoro noBe/],eHHH
© 2010 r. B. B. KopHHK
JIa6opamopufi UHcjjopMaViUOHHUx mexHOAOduu
OGteflHHeHHbiii HHCTHxyx a^epHbix Hccjie^oBaHHH
I4198O JJ,y6Ha MocKoecKou o6a.
E-mail: kornyak@jinr.ru
AHHOTau,Ha
yHHBepcajIbHOCTb KBaHTOBOii MexaHHKH — ee npHMeHHMOCTb K (jjHSHHeCKHM
CHCTeMaM coBepmeHHO pasjiHHHoli npHpo/],bi h MacmTa6oB — yxasMBaeT na
TO, HTO KBaHTOBoe noBe/],eHHe MOJKeT Sbitb npoHBjieHHeM o6meMaTeMaTHHecKHX
CBOHCTB CHCTeM, coflepjKamHX HepasjiHHHMbie, T. e. jiejKamiie na oflHoii h toh >Ke
op6HTe HeKOTopofi rpynnbi CHMMeTpHH, sjieMeHTbi. B 3toh CTaTbe mbi noKasbiBa-
eM, HTO KBaHTOBoe noBej^eane BOSHHKaeT ecTecTBeHHbiM o6pa30M b cncTeiviax c
KOHeHHbIM HHCJIOM 3JieMeHTOB CBHSaHHblX HeTpHBHajIbHblMH rpynnaMH CHMMeT-
pHii. "KoHeHHbifi" noflxo/; nosBOJiaeT ysHfleTb oco6eHHOCTH KBaHTOBoro onncaHHa
6ojiee OTHeTjiHBO h 6e3 HeoGxoflHMOCTH b KOHii,enii;HHX THna "KOJiJianc bojihoboh
4)yHKLi,HH", "napajiJiejibHbie BcejieHHbie SbepeTTa" h t. n. B nacTHOCTH, b npe^no-
jiOJKeHHH KOHeHHOCTH jiio6aa KBaHTOBaH /i,HHaMHKa CBOflMTCH K npocTOH nepecTa-
HOBOHHOfi flHHaMHKe. HpeHMymeCTBOM KOHeHHblX KBaHTOBblX MOflejieii HBJIHeTCa
BOSMOJKHOCTb Hx KOHCTpyKTHBHoro HsyHeHHH MeTOflaMH KOMnbioTepHOH ajire6pbi
H BbiHHCJiHTejibHoft TcopHH rpynn.
1 BBe^eHHe
BonpOC O TOM, "3BJI3eTC5I JIH peajIbHblH MHp ^^HCKpeTHblM HJIH HenpepblBHblM" HJIH
^aJKe "KOHeHHMM HJIH 6eCKOHeHHL.IM" OTHOCHTCH HCKJIIOHHTejIbHO K MCTacJaHSHKe, TaK
KaK HHKaKHe SMnnpHHecKHe HaGjHo^enHJi hjih jiorHHecKHe apryMenTbi He b cocto-
3HHH 060CH0BaTB TOT HJIH HHOH Bt.l6op — 3TO BOIipOC Bept.1 HJIH BKyca. KoHCHHO,
;i;HCKpeTHL.ie h Henpept.iBHL.ie MameMamuHecKue Teopnn cymecTBeHHo pasjiHHaioTCii
H 3(|)(|)eKTHBHOCTB HX HpHMeHeHHS B (|)H3HKe SaBHCHT OT KOHKpeTHblX HCTOpHHeCKHX
06cT03TejIbCTB. B HaCTHOCTH, CO BpeMCH HblOTOHa H ^O H03BJieHH3 COBpeMeHHblX KOM-
HBioTepoB anajiHS h ^H4)4)epeHn;HajibHa3 reoMeTpna 6t.ijiH (JaaKTHHecKH e^HHCTBennbiM
cpeflCTBOM MaTeMaTHHecKoro HsyneHHa 4)H3HHecKHX CHCTe C pasBHTHeM n;H4)poB£.ix
^HyaHKape noflnepKHBaji KOHBetmnoHajibHOCTb Bbi6opa meyajiy ;i,HCKpeTHi>iM (KOHenHbiM) 11 nenpe-
pbiBHbiM (GecKOHeHHbiM) onHcaHHHMH npHpoflbi. IIoyHHTejibHO npocjieflHTb 3bojiioi];hio ero jihhhhx
npeflnoHTeHHH. B KHHre "I^eHHOCTb nayKH" ([T], CTp. 288-289 pyccKoro nepeBO^a) oh, OTpHLi,aH (Jjynfla-
MeHTajibHyio o6ocHOBaHHOCTb noHHTHH HenpepbiBHOCTH, BbicoKO on,eHHBaeT ero aBpncTHHecKyio CHjiy:
EduHcmeeHHUu ecmecmeeHHUu npedMem MameMamuuecKou mucau ecmt> 'neAoe hucao. Henpepue-
Hocrrib . . . , 6e3 comhchusi, u3o6pemeHa naMU, ho u3o6pecmu ee nac eunyduA eHeiUHUU Mup. Bea nezo
He 6uA0 6u anaAusa 6ecK0HeuH0 muaux. Bee MameMamuHecKoe ananue ceeAoct 6u k apuipMemuKe
UAU K meopuu nodcmaHoeoK. Ho mu, uanpomue, nocesimuAU uayHeHum Henpepuenocmu noumu
ece name epeMsi, noumu ece nauiu euAU. . . . Bum, 6e3 eoMuenuM, CKaofcym, umo ene i^eAozo uueAa
Hem cmpozocmu, a CAedoeameAbHO, Hem MameMamuuecKou ucmuHU, umo oho CKpueaemcn ecmdy u
1
TexHOJiornii "^HCKpeTHbiii" cthjib MbimjieHHa cxaHOBHTca Bce 6ojiee nonyjiapHbiM, a pe-
ajibHtie B03M0JKH0CTH ^HCKpeTHOH MaxeMaTHKH B npHjiojKeHHHx cymecTBeHHo BBipoc-
jiH. BaacHBiM npeHMymecTBOM ^HCKpexHoro onncaHHa HBjiHexcH ero KOHii,enTyajii>Has
"sKOHOMHOCTb" B OKKaMOBCKOM CMBICJie — OTCyTCTBHC "jIHIUHHX CymHOCTefi" OCHOBaH-
Hbix Ha H^eax aKxyajiBHoii 6ecKOHeHHocTH Tnna "^efleKHH^oBtix ceHeHHfi", "nocjie^oBa-
TejiBHocxeii Koinn" h t. n. Bojiee Toro, ^HCKpexHaii MaxeiviaTHKa co^epjKaxejiBHo 6ora-
He HenpepbiBHofi — HenpepbiBHOCTb "crjiaacHBaex" TOHKHe ^^exajin CTpoeHHH cxpyKxyp.
JI/LS HJiJiiocxpaitHH 3xoro xesHca mojkho cpaBHHXb CHHCKH npocxbix rpynn JIh h npo-
CXL.IX KOHeHHBix rpynn. HMeexca xaKJKe MnojKecxBO aprynenxoB b nojitay xoro, nxo na
Majibix (njiaHKOBCKHx) paccxo5inH5ix ^ncKpexnoe onncanne (JinsnnecKHX npon,eccoB 5IB-
jiaexcH 6ojiee a^eKBaxntiM n nxo nenpeptiBnocxB u;ejiecoo6pa3no paccMaxpnBaxb jinnib
KaK jiornnecKyio cxpyxxypy ^jia npnGjinjKennoro ("xepMOflHnaMHHecKoro") onHcanna
Gojitmnx coBOKynHocxen flHCKpexHbix cxpyKxyp.
XapaKxepnoii oco6ennocxBio KBanxoBoii MexannKH aBjiaexca ee ynHBepcajitnocxt.
Ona npnro^Ha ^jih onHcanna chcxcm coBepmenno pasjinnnon (|)H3HnecKOH npnpo^t.! n
pasMepoB — ox sjieMenxapntix nacxnn, Gojitmnx MOjieKyji. Hanpniviep, b [3] onnca-
Hbi 3KcnepHMenxbi, b Koxoptix Ha6jiio^ajiacb KBanxoBOMexannHecKaa HHxep4)epeHn,H3
Meacfly MOJiexyjiaMn (Jayjijiepena Cqq . TaKofi ynHBepcajibnocxBio o6t.iHHo oGjia^aiox
xeopHH, B ocnoBe Koxopbix sajiojKenbi nexne anpHopntie MaxeMaxnnecKne npHHn;Hnbi.
HpHMepoM no^oGnoH ynnBepcajibnon MaxeMaxnnecKOH cxeMbi SBjiaexca cmamucmuHe-
CKan MexanuKa. B ee ocnoBe jieacax ne saBHCHn^He ox KonKpexnon (|)H3HnecKOH cncxe-
Mbi npHnn;Hnbi, rjiabnbiMH h3 Koxopbix HBjiaioxcii KjiaccH(J)HKan;Hii MnKpococxoHnnfl
no ypoBHHM SHeprHH n nocxyjiax paBHOMepnoro pacnpe^ejieHna SHeprnn no cxene-
nHM cBo6o^bi. B cjiynae KBanxoBoii MexannKH Beflyni,HM MaxeMaxnnecKHM npHHn;HnoM
aBjiHexcH CHMMexpna: KBanxoBOMexannnecKoe noBe^enne ^eMoncxpnpyiox cncxeMbi,
co^epjKanine nepasjinnnMbie nacxnn;bi — jiio6oe napymenne xojK^ecxBennocxn nacxnn;
paspymaex KBanxoBbie Hnxep4)epenn,nH.
Mbi paccMaxpHBaeM s^ecb ocnoBHbie cxpyxxypbi KBanxoBoro onncanHS npe^nojia-
raa Konennocxb Bcex BxoflsmHX b (jDopMyjinpoBKH MHOJKecxB. Hpn xaKOM no^^xo^e,
nepecjDpasnpya HyanKape, "Bce Moacno CBecxn k apH(|)MexnKe n xeopnn no^cxanoBOK".
umo HycHCHO cmapanibCM pasoSAauumb ezo noKpoeu, xomsi 6u dnti smozo npuiuMocb o6peHb ce6si na
HecKOHuaeMue noemopcHusi. Ho mu hc 6ydeM cmoAb cmpozu; mu 6ydeM npusnameAbHU nenpepue-
Hocmu, Komopasi, ecAu daMce ece ucxodum U3 v,eA08o uucAa, odna moAbKO 6uAa cnocoOna uaeAeub
U3 Hezo maK m,hoboP
CnycTH HecKOjibKO jieT — BCKope nocjie nepsbix naSjHOfleHHii KBRHTOBoro noBeflenHii cJjHSHHecKHx
CHCTCM — HyaHKape nHincT (|2], cip. 643 pyccKoro nepeBOfla): "Tenepb ymce ncAbaji zoeopumb, umo
«npupoda ne deAaem CKaHKoe» (Natura non facit saltus), — na caMOM dcAe oiia nocmynaem umchho
Hao6opom. M ne moAbKO Mamepuji, bosmochcho, ceodumcM k amoMaM, a dajfce u Mupoean ucmopuji u,
ji CKajtcy, dastce caMO epcMJi, nocKOAbKy dea MZHoeenufi, aaKAWueHHue e unmepeaAe Me^icdy deyMJi
CKauKaMU, He Mogym 6umb pasAUHUMU, u6o ohu npunadAecHcam odnoMy u moMy Jtce cocmojmwo
MupaP
^ajiee HyaHKape pesiOMHpyeT cjiOiKHBinHiica: y nero bsfjih/i, na npo6jieMy: " OdimKO ne CAedyem
CAUiuKOM cnemumb, u6o ceuuac OHeeudno Aumb mo, umo mu eecbMa daACKU am saeepmenuM 6opb6u
MCJtcdy deyjHJi cmuAMMU MumACHUfi — odnozo, xapaKmepnozo Saji amoMucmoe, eepjnuux e cyiu,e-
cmeoeaHue npocmeumux nepeosAeMenmoe, oneub 6oAbmozo, ho kohchhozo uucAa K0M6uHav,uu Komo-
pux docmamoHHO Sah o6sjiCHeHUJi ecezo pa3Hoo6pa3UH acncKmoe BceAeuHou, u dpyzozo, npucymezo
npueepjtceHV,aM udeu HenpepueHocmu u 6ecKOHeHH0cmur
2
2 OcHOBHbie KOHCTpyKii,HH H o6o3HaHeHHa
2.1 KjiaccHHecKaa h KBaHTOBaa 3bojiioi],hh
Mm paccMaxpHBaeM 3BOjTion;Hio duHaMunecKou cucmeMU c KOHeHHbiM MHOJKecxBOM
cocmofiHuu S = {si,...,Sn} b ^HCKperaoM epeMenu t E T = {...,—1,0,1,...}.
PaccMaTpHBaa KoneHHue 3bojik)ii,hh mbi MOJKeM npe;];nojio>KHTb ynpomeHHa o6o-
SHaHeHHH, HTO T = [0, 1, . . . , T] , Tj\e T G N .
KnaccuuecKafi aeoAwv^usi {ucmopusi, mpaeKmopufi) ^^HHaMHHecKofi CHCxeMbi 3to no-
CJie^OBaTejIBHOCTb COCTOHHHH B SaBHCHMOCXH OT BpeMCHH . . . , St_i, St, . . . G S'^ .
Mbi npe^nojiaraeM, hto na MHOJKecTBe cocto3hhh fleiicTByeT KoneHHas epynna cum-
Mempuu G = {gi = 1, . . . , gM} < Sym (S) .
Keanmoeou aeoAtov^ueu mbi 6yfleM HasBiBaxB nocjieflOBaxejiBHocTB nepecxaHOBOK
. . . pt-i,Pt, Pt+i ■ ■ ■ e G"^ , onpe^ejiJiioniyio npoHSBe^eHHe ■ ■ ■ pt-i pt Pt+i ■ ■■ e G .
Cmbicji xaKoro onpe^ejieHHH 6y^ex acen h3 ^ajiBHefimero.
2.2 ^HHaMHHeCKHe CHCTGMbl C npOCTpaHCTBGHHOH CTpyKTypoH
B 4)H3HKe nojiHoe MHoacecxBO cocxo3hhh S HMeex, KaK npaBHjio, cneii,HajibHyio cxpyx-
xypy MHOJKecxBa 4)yHKii,HH S = na neKoxopoM npocmpaHcmee X co SHaHeHHH-
MH B HCKOXOpOM MHOiSieCXBe AOKaAbHUX COCmORHUU S . B ^HHaMHHeCKHX CHCXCMaX c
npocxpancxBOM ecxecxBeHHbiM o6pa30M BOSHHKaiox HexpHBHajibHbie KajinGpoBOHHtie
cxpyKxypbi, HcnojibayiomHeca b 4)H3HHecKHX xeopnax ^jia onHcaHHH chjiobbix nojiefi.
Mbi ripe^nojiaraeM, hxo npocmpaHcmeo npe^cxaBjiaex co6oii KoneHHoe MHoacecxBO
X = |xi, . . . ,X|x|} CHMMexpHH Koxoporo oGpasyiox zpynny npocmpaHcmeeHHUx cum-
Mempuu F = |fi = 1, . . . ,f|F|} < Sym (X) . Cjiynaii, Kor^a F HBjiHexcH co6cmeeHHou
noflrpynnoH rpynnbi Sym (X) Bcex bosmojkhbix nepecxanoBOK xohck h3 X , noflpasy-
MeBaex HajiHHHe ^onojiHHxejibHOH cxpyKxypbi y MHOJKecxBa X . HanpHMep — h sxoro
;];ocxaxoHHO namnx i^ejiefi — X Moxcex Gbixb aBcmpaKmnuM rpacJaoM.
JIoKaAhHue cocmoHHUH o6pa3yiox KoneHHoe MHoacecxBO E = |cti, . . . , c rpyn-
noH enympeHHux cuMMempuu T = {71 = 1, . . . , 7|r| } < Sym (E) .
Fpynna G CHMMexpnii nojiHoro MHOJKecxBa cocxoaHHit S Moacex 6bixb nocxpoeHa
H3 npocxpaHCXBeHHBix F H BHyxpeHHHX r CHMMexpnii pa3JiHHHBiMH cnoco6aMH. Ecxe-
cxBeHHBiM o6o6m;eHHeM KOHCxpyKn;HH, HcnojiB3yeMBix b 4)H3HHecKHX xeopnax HBjiaexcH
iipe^cxaBjieHHe G b BH^e cjie^yiomero pacmenjiHeMoro pacmnpenHH
r^e — rpynna F -3HaHHbix (|)yHKii;HH na npocxpancxBe X . 5lBHbie (|)opMyjibi, bbi-
pajKaiomne rpynnoBbie onepaii,HH b G h3 ([1]) b xepMHHax onepai^Hii b rpynnax F h
r , npHBefleHbi b [U [5] — b ^aHHofl cxaxbe ohh naM ne noHa^oGaxca.
2.3 HeKOTopbie oGosHaneHHa
HMea B BRpy ^ajibHefiniHe n;ejiH, naM y^oGno BKjiioHaxb nyjib bo MHoacecxBO naxypajib-
Hbix HHceji, x.e. Mbi 6y;i;eM Hcnojib30Baxb onpeflejieHHe: N = {0,1,2,...}.
l^r^^G^F^l,
3
EcjiH Heo6xoflHMo 5IBHO yKasaxb HBjiHexcH jiH sjieMCHT i/j rHjib6epTOBa npocTpancTBa
7i BeKTOpOM HJIH KOBeKTOpO]v|l 6yflyT HCnOJIB30BaTt.CH 0603HaHeHHH RJIH ,
COOTBeXCTBeHHO.
JXns cmaHdapmH020 cnaAfipHozo npouseedenusi b K-MepnoM rHjibGepxoBOM ripo-
cxpaHCTBe ML.I HcriojiBsyeM Kpyrjitie cko6kh:
K
(0lv^) = ^^V^ (2)
i=l
JXjis UHeapuanmHoeo cnaAfipHoso npouaeedenuH HcnojibsyioTCJi yrjioBbie ckoGkh:
{(^\^) = ^^Y.^U{g)ct>\U {g)^) , (3)
r^e U — npe;];cTaBjieHHe rpynnbi G b rHjiB6epTOBOM npocxpaHCXBe "H .
3 KBaHTOBaa 3bojik)li;hh /],HHaMHHecKOH CHcxeMbi
HanGojiee nonyjiapHtiM h HHxyHTHBHO hchbim mcto^om KBaHXOBaHHH aBjiaexcH (|)eii-
HMaHOBCKoe KBaHTOBaHHe c noMomBK) HHTerpajioB no xpaeKTopHHM j6]. 3tot mcto^
oco6eHHO y;];o6eH ^jia ^HHaMHHecKHX CHCxeM c npocTpancTBeHHOH CTpyKxypofl. Co-
rjiacHO nop^opy OeftHMana aMnjinxy^^a KBanxoBoro nepexo^a CHCTeMbi h3 HanajibHoro
COCTOHHHH B KOHCHHOe BL.IHHCJI5ieTC5I C riOMOmBK) CyMMHpOBaHHH aMnjIHTyfl BflOJIb BCeX
BOSMOJKHbix KjiaccHHecKHX TpaeKTopHH, coeflHHSiomHX 3TH cocTOHHHa:. AnnjiHTy^a
Bflojib oT^ejiBHoii TpaeKTopHH BBiHHCJiiieTCii KaK npoHSBe^eHHe aMnjinxy^ nepexo^oB
MejK^y GjiHJKafimHMH nocjie^oBaTejitHbiMH cocToaHHHMH na xpaeKTopHH. CxaHflapTHo
aMnjiHxy^a HMeex bh^ BKcnoneHTBi ox ^eiicxBHa: b^ojib xpaeKxopHH
Au(i) = Aq exp [iS) = Aq exp ( i j Ldt | . (4)
OyHKitHH L , 3aBHC5iin;a5i ox nepBbix npoHSBOflHbix cocxoshhh no BpeMenn, nasBiBaexcH
AaepaHotcuaHOM. B ^ncKpexnoM BpeMenn SKcnonenxa ox nnxerpajia nepexo^nx b npo-
nsBe^enne exp J Ldt^ — >■ e*'^"-^ . . . e*^*"^-' . . . q''^t-\,t Bbipaxcenne ^jia aMnjinxy^Bi
npnnnMaex Bn^
Au(i) = Aoe^^O'V..e^^*-i''...e^^^-i-^. (5)
3jieMenxBi pt-i,t = e*^*-^ * sxoro nponsBe^^enna ecxecxBenno nnxepnpexnpoBaxb KaK
c6fi3Hocmu {napaAACAbHue nepenocu) co snanennHMn b odnoMepHOM ynnxapnoM npe^-
cxaBjiennn OKpyjKnocxn, x. e. KOMMyxaxnBnon rpynnbi Jin F = S"^ = M/Z.
EcxecxBennoe o6o6n];enne BosnnKaex ns npe^nojioxcennii, nxo rpynna F ne 06513a-
xejit.no OKpyjKnocxB n nxo ee ynnxapnoe npe^cxaBjienne p (F) ne o6H3axejit.no Oflno-
Mepno. B 3XOM cjiynae aMnjrnxy^a npe^cxaBjiaex co6oh MnoroKOMnonenxntin BeKxop,
^THjibGepTOBO npocTpancTBO BBH/i,y Hajiiniia CKajiapnoro npoiiSBeflenHH KanoHH^ecKH HSOMopcjjHO
CBOCMy ;],yajibHOMy npocTpancTBy.
4
HTO y^o6HO ^jiH onHcaHHH HacTHii; c BHyxpeHHHMH cxenenaMH cbo6o^b.i. SnaHeHHe xa-
KOH MHoroKOMiioHeHXHoii aMnjiHxy^L.! Ha xpaeKxopHH ripHHHMaex bh^^
A
p(r)
p (ar,T-i) ■ ■ - P ("M-i) • • • P ("1,0) ^0, at,t-i e T.
(6)
Mbi 5y^eM npe^nojiaraxt, hxo F — KoneHHaa rpynna. JiHHeHHbie npe^cxaBjieHHH ko-
HeHHbix rpynn aBXOMaxHHecKH yHHxapHBi. 5Icho, hxo cxan^apxHoe KBanxoBaHHe (jl])
MOJKHO annpoKCHMHpoBaxB c noMomBK) o;],HOMepHt.ix npe;];cxaBjieHHH KoneHHtix ii;hk-
jiHHecKHX rpynn.
Xopomo H3Becxno, hxo (jDennManoBCKHH noji^oj\ SKBHBajienxen xpaflHii;HOHHOH Max-
PHHHOH 4)OpMyjIHpOBKe KBaHXOBOH MCXanHKH. B 9XOH (|)OpMyjIHpOBKe 3BOJIIOn;H3 CH-
cxeMbi H3 nanajibHoro cocxoanna b Konennoe onncbiBaexca MaxpHn;eH 3BOjiion;HH U :
iV'o) ~^ IV't) = U \iPq) . MaxpHn,a 3BOjiion,HH Moacex 6bixb npe;];cxaBjiena b bh^c npons-
Bejiewae Maxpnn;, cooxBexcxByiomnx sjieMenxapnbiM maraM bo BpeMenn:
U = U'
OaKxnnecKH, 4)eHnManoBCKHe npaBHjia KBanxoBanna "nepeMnoJKaxb nocjie^oBaxejib-
nbie aMnjiHxy^bi" n "cyMMHpoBaxb ajibxepnaxHBnbie HcxopHn" — 3x0 HajiojKenne ^py-
THMH cjioBaMH npaBHji yMHOJKeHHs Maxpnn;. 3xo acno na Hjijiiocxpan;nn, na Koxopoii
^Ba mara 3BOjiion;nn KBanxoBon cncxeMbi c ^ByMa cocxoannHMH (o^noKyGnxnbiii pe-
rncxp) npe^cxaBjienbi napajiJiejibno b (JjennManoBCKoii n Maxpnnnon cJiopMax:
Mil
BA
t
feiiOii + 612021 6iiai2 + bi2a22
hlO-ll + 622021 621^12 + 622«22
B cooxBexcxBnn c (JjennManoBCKHMH npaBHjiaMn nepexo^, cxaJKeM, Me>K^y cocxoann-
sMn 02 H "01 onpe^ejiaexcH cyMMoii no fl^Byu nyxsiM 6iiai2 + 612^22 • Ho 3x0 >Ke bm-
paJKenne HBjiHexcH 3jieMenxoM M12 nponsBe^enna Maxpnn, U = BA . 06iu;nH cjiynan
nponsBOJibnoro nncjia cocxoannn n nponsBOjibnoro nncjia maroB no BpeMenn jierKO
BbiBOflHxca no nn^yKn;nn ns 3xoro 3jieMeHxapnoro npnMepa.
3xo paccy>K;];enne npHMennMO n b cjiynae neKOMMyxaxHBHon CBHsnocxn, Kor^a aM-
njinxyflbi BflOJib nyxen onncbiBaioxca (|)opMyjioH ([6]). HaM ;];ocxaxonno jinnib xpaxxo-
Baxb 3BOJiion;nonnbie Maxpnn;bi A,BiiU xax Gjionnbie Maxpnn;bi c nexoMMyxaxnb-
nbiMn 3JieMenxaMn, aBjiaiomnMnca MaxpHn;aMn na npe^^cxaBjienna p (F) . /],Jia efl;a-
nooGpaana paccMoxpenna mm MOJKeM nponrnopnpoBaxb 6jionnyio cxpyxxypy Maxpnn;
HeKOMMyTaTHBHOM cjiynae Heo6xoflHMO co6jiioflaTij nopa^OK onepaTopoB, corjiacoBaHHbiii b flan-
HOM cjiy^ae c TpaflHii,HeH nncaTb MaTpHii,bi cjieBa ot bcktopob.
5
HHTepnpexHpya hx kek o6B.iHHL.ie MaTpHn;L.i 6ojibmeii pasMepnocxH h3 npe^cxaBjieHHii
rpynriL.1 nojiHMX CHMMexpHii G , CKOHCTpynpoBaHHoii b cooTBexcTBHH c ([1]) .
B KBaHTOBOH MexaHHKe, 3BOJiK)ii;HOHHbie MaTpHii;t.i U iipe^cxaBjiaioT co6oii yHHxap-
HBie onepaTopbi, fleiiCTByiomHe b rnjibGepTOBbix npocxpaHCXBax eenmopoe cocmofiHuu
(nasBiBaeMbix xaKxce eoAHoeuMU (f)yHKtt^ufiMu" , aMnAumydaMu" h t.^.). Keawmoeo-
MexaHunecKue Hacmuvfii accon;HHpyioTCJi c yHHTapHbiMH npe^cxaBjieHHiiMH oripe^e-
jieHHbix rpynn. 3th npe^^cxaBjieHHH, b cooTBexcTBHH c hx pasMepnocTHMH, nasbiBa-
IOTC3 "cuHSAemaMu", " dy6AemaMu" h t.^. MnoroMepHbie npe^CTaBjieHHa onHCbmaioT
CnUH. KBaHTOBOMexaHHHeCKHH SKCnepHMCHT CBO^HTCH K CpaBHeHHK) BeKTopa COCTOa-
HH5I CHCXeMBI Ip C HeKOTOptlM STajIOHHBIM BeKTOpOM COCTOHHHH , o6ecneHHBaeML.IM
U3MepumeAhHUM annapamoM,". B cooTBexcTBHH c npaBHjioM Bopna, BepoaxHOCTB na-
6jiio^aTb coBna^eHHe coctohhhh paBHa |(0 | -i/^)!^ (b npeflnojiojKeHHH HopMHpoBKH
(010) = ('0 I -0) = 1). HtoGbI o6ecneHHTB KOHCXpyKTHBHOCTb BCeX 3THX nOHSTHH
KBaHTOBoii MexaHHKH ML.I npe^nojiaracM ^ajiee, hto onepaTopti 3bojiioii;hh 5ibji5iiotc5i
3jieMeHTaMH npe^cxaBjieHHii KOHeHHtix rpynn.
4 KBaHTOBoe onncaHHe KonenHbix chctgivi
4.1 IlepecTaHOBKH h JiHHefiHbie npe^cTaBJieHHH
4.1.1 ^eiicTBHH rpynnbi.
JlerKO onncaxb j7] Bce xpanaHTHBnbie ^encTBHH Konennoii rpynnbi G = {gi, . . . ,gM}
na Konennbix MHOJKecxBax Q = {ui, . . . , Un} ■ JIio6oe xaKoe MHOJKecxBo naxo^nxcH bo
BsaHMno o^noanannoM cooxBexcxBnn c npaeuMU (hjih AeeuMu) CMeacnbiMH KjiaccaMH
no neKoxopoii no^rpynne H < G , t. e. Q = H\G (hjih Q = G/H). MnojKecxBO ^2
nasbiBaexca odHopodnuM npocmpaHcmeoM rpynnhi G { G -npocmpaHcmeoM). JXe&cTBRe
G na SBjiaexca moHHUM, ecjin no^rpynna H ne co^epjKHX nopMajibnbix no^rpynn
rpynnbi G . Mbi mojkcm nanncaxb ^eiicxBHe b bh^c nepecxanoBOK
MaKCHMajibnbiM xpansnxHBnbiM MnoacecxBOM HBjiaexcii MnojKecxBO Bcex 3jieMen-
xoB caMoii rpynnbi G , x. e. CMCJKnbix KjiaccoB no xpnBHajibnon no^rpynne H = {1} .
CooxBexcxByiomee ^ettcxBHe nasbiBaexcji peeyAsipnuM n mojkbx 6bixb npe^cxabjieno
nepecxanoBKaMH
JJ,Jis xoro nxo6bi bbccxh "KOjinnecxBennoe" ("cxaxncxnnecKoe") onncanne npe^nn-
meM 3JieMenxaM MnojKecxBa Q nncjioBbie "beca" ns KaKon-nnGy^b no;i;xo^3iLi;eH huc-
Aoeou cucmeMU M , co;i;ep>Kaiu;eH, no Kpannen Mepe, nyjib n e^HnHn,y. B 3xom cjiynae
nepecxanoBKH mojkho nepenncaxb b Maxpnnnon 4)opMe
(7, a G G, 2 = 1, . . . , n.
(7)
n;
6
I 1, ecjiH a = /3,
I U, ecjiH a 7^ p,
OyHKn;H5i p, onpe^ejieHHaH (|)opMyjioii (|8]), HasbiBaexcH nepecmaHoeoHHUM npedcmae-
ACHUCM.
JJ^UKAoeuM munoM nepecTanoBKH HasbiBaexca MaccHB KpaxHOCTeii ^jihh n;HKjioB b
pasjiojKeHHH nepecxaHOBKH Ha HenepeceKaromHeca i^hrjibi. 3tot MaccHB oGbihho sa-
HHCbiBaeTca b bh^c l^^2''^ ■ ■ -n^", rj^e ki — hhcjio u,hkjiob ^jihhbi i b nepecxanoBKe;
< ki < n; ki + 2/c2 + ■ ■ ■ + nkn = n. Hcxo;];3 h3 ii,HKjioBoro xHna nepecxaHOBKH Ti{g)
nei^yjXiio BbiHHcaxb xapaKxepncxHHecKHH MHoroHjien HepecxaHOBOHHoii MaxpHn;t>i (|8]):
(A) = det {p{g) - AI) = (A - 1)'=^ (A^ - l)'^^ ■ ■ ■ (A" - 1)'=" . (9)
MaxpHHHaa 4)opMa pesyA^ipnoso jxe&CTBUs ([7])
U{g) ^ P{g) = [P{g),,] , P{g),, = 5e,<;,e„ J = 1, • • • , M (10)
HasbiBaexca pesyAsipnuM npedcmaeAenueM — sxo HacxHbifi cjiynafi HepecxanoBOHHoro
Hpe^cxaBjieHHH (|8]).
cBoGo^Bi ajire6paHHecKHx MaHHHyji5in,HH o6bihho npe^Hojiaraexca, hxo A/" —
ajireGpaHHecKH saMKnyxoe nojie, nanpHMep, nojie KOMnjieKCHbix nnceji C . Ecjih N'
— nojie, xo MHOJKecxBo Q mojkho paccMaxpHBaxb xax 6a3Hc jiHHeliHoro BexxopHoro
npocxpancxBa "H = Span (wi, ■ ■ ■ , w„) .
4.1.2 CHCxeMBi HHceji
Hs ([9]) BH;i,no, nxo Bce codcmeeHHue SHaueHUfi nepecxanoBonnbix Maxpnn; HBjiaiox-
C3 KopnHMH H3 ej\mmixbi. 3xox cJiaKX — b conexannn c xeM, nxo Bce nenpnBOflHMbie
npe;];cxaBjienHH Konennbix rpynn 3bjihioxc3 no;];npe;];cxaBjieHH3MH peryjiapnoro npe^-
cxaBjienna fllOp — osnanaex, nxo Bce nncjia, ;];ocxaxonnbie ^Ji3 namnx n;ejieH MOJKno
nocxpoHXB H3 MnoacecxBa naxypajibnbix nnceji N = {0,1,...} n npnMHXHBnoro Kopna
H3 eflHnHn;bi r neKoxopoii cxenenn n . TepMnn npuMumueHuu osnanaex, nxo r" = 1
H nepno^ r paBen b xonnocxn n . B pojin n Bcer^a MOJKno ncnojiBSOBaxt SKcnoHCH-
my rpynnbi — naHMenbrnee o6m,ee Kpaxnoe nops^KOB sjienenxoB rpynnti. Ho nacxo
6biBaex flocxaxonno nexoxoporo coGcxBennoro ^ejinxejia SKcnonenxBi. JIioGoii Kopent
H3 eflHnHn,bi nneex bh^ r^, k G {0,1,...,?t. — 1}. JXns narjia^nocxn MOJKno cnnxaxt
CHMBOjinnecKH, nxo r = e^'^*/" , no xaKoe npe^cxaBjienne naM nurp^e ne nona;];o6HXCH.
/],ocxaxonno xojibko cjieflyiomnx aAse6pauHecKUX onpeflejiennii
1. X r"^ = r'^'+™ mod n _ npaeuAO yMHOCHcenu^,
2. = r"^'^ — KOMHAeKCHoe conpsiMceHue.
TaKHM o6pa30M, b KanecxBe cucmeMU hucca, mbi 6y^eM ncnojitsoBaxt nojinnoMti ox
r c HamypaAhHUMU K03(|)(|)Hn;HenxaMH: A/" = N [r] .
Ecjin n = 1 , xo A/" npe^cxaBjiaex co6oh noAynoAhyo uamypaAhHux hucca N . 3xa
CHCxeMa nnceji cooxBexcxByex cjiynaio mpueuaAhHou rpynnti G .
7
ripH n > 2 MOJKHO BBecTH ompuv^ameAhHue HUCAa c rioMombio oripe^ejieHHa
(-1) =
^, ecjiH n HenexHoe.
B HacTHocTH, npH n = 2 BoaHHKaex KOAhv^o v^caux hucca: A/" = Z . Bxa cHcxeMa Huceji
cooTBexcTByeT rpynne G = C2 (hjih G = C2 x ■ ■ ■ x C2) •
HpH n > 3 MHOJKecTBo = N [r] npe^cTaBjiHex co6ofi KOMMymamueHoe KOAhV)0,
KOTOpoe MOJKHO HOrpySHTB B nOJIG KOMnjieKCHBIX HHCejI C .
KojiBij,a N [r] ^ocTaxoHHO ^jia npoBe^enna Bcex BbiHHCjieHHii c KoneHHtiMH KBan-
TOBL.IMH Mo^ejiaMH. /],Ji5i ynpomeHHH HSJiojKeHHH, hto6b.i mojkho 6t.ijio CBo6oflHO ro-
BopHTb o jiHHefiHbix npocTpaHCTBax, Mbi Gy^eM HcnojibsoBaxb Taxace nojie HacTHbix0
SToro KOjibii;a. Hnor^a, KaK npoMejKyxoHHbie xexHHHecKHe chmbojibi, Moryx BOSHHKaTt
KBa;];paTHt.ie KopHH h3 HaTypajibHbix hhccji (Koxoptie, b npHHii,Hne, xaKxe mojkho bbi-
pasHTb Hepea KopHH hs e^HHHn;L.i, ho b 3tom hct peajibHoii Heo6xo^HMOCTH) . B okoh-
HaxejiBHtix BBipajKCHHiix, HMeiomHx cxaxyc "Ha6jiioflaeML.ix", hh KopHH hs e^HHHn;, hh
flpyrne Hppaii;HOHajii>HocTH ne nosBjiaioTcs.
4.1.3 yHHTapHbie npeflCTaBJieHHsi
YHHTapHbie onepaTopt.1 nrpaioT KjiioHeByio pojib b KBaHTOBofi MexannKe. JIioGoe jih-
HCHHoe npe^cxaBjieHHe KoneHHOH rpynnbi SKBHBajieHXHO yHHxapHOMy, nocKOjiBKy Bce-
rfla MOJKHo cKOHCTpyHpoBaxb HHBapHaHTHoe cKajiHpHoe npoHSBe^eHHe hs npoHSBOJit-
Horo "ycpe^HeHHeM no rpynne". Hanpniviep, nnBapnaHTHoe nponsBe^enne ([3]) nocxpo-
eno ycpeflnenneM cxan^apTHoro ([2]).
HsjiojKHM KpaxKo ocHOBHbie cBe^eHHH o HenpHBo;i;HML.ix npe^cxaBjieHHsx Konennbix
rpynn [7], HjijnocxpnpyH nx c noMomtio naHMenbrnett neKOMMyxaxHBHOH rpynnbi —
rpynnt.1 nepecxanoBOK xpex sjienenxoB Sym (3) . 3xa rpynna H30Mopc|)Ha xaxace rpyn-
ne CHMMexpnii xpeyrojibnnKa, x.e. ^HS^pajiBnoii rpynne Dg = Sym (3) . Fpynna cocxo-
Hx H3 mecxH 3jieMenxoB, HMeioiLi,HX cjie^yiom;ee npe^cxaBjienne b BH^e nepecxanoBOK
gi = (), g2 = (2,3), g3 = (l,3), g4 = (l,2), g5 = (l,2,3), g6 = (1,3,2). (11)
AnajioroM saMenti cncxeMbi Koop;i,HHax b cJinsHKe b xeopnn rpynn HBjiaexca co-
npaaceHHe: a~^ga — ?■ g\ g,g' E G, a E Aut (G) . ConpajKenna sjieMenxaMH caMon
rpynnt.1, x.e. Kor^a a G G , nasbiBaioxca eHympeHUUMU aemoMopcfjusMaMU. Kjiaccbi
SKBHBajienxnocxH BjieMenxoB rpynnti oxnocnxejibno Bnyxpennnx aBXOMopcJjnsMOB na-
SBiBaioxcH KAaccaMU conpsicHceHHUx aAeMenmoe (hjih, Kopone, KAaccaMU conpfiotceH-
Hocmeu). PasjiojKeHHe rpynnt.i na Kjiaccti conpajKennocxeH, CHMBOJinnecKH aanncbi-
BaeMoe b BH^e
G = J^l+A'2 + --- + i^,r„
nrpaex u;eHxpajibHyK) pojib b nsynennn ee npe^^cxaBjiennn.
BHHHCJIHTejIbHOH TOHKH 3peHHH pa6oTa C KOJIbLI,aMH, XOTH H CJierKR yCJIOJKHHCT RJirOpiITMbl,
6ojiee 34)4)eKTHBHa, ^eM BbiHHCjieHHH na/i, cooTBeTCTByiomHMH nojiHMii nacTHbix. CoBpeMeHHbie cii-
CTCMbi KOMnbiOTepHOii ajire6pi>i, xax npasHjio, HcnojibsyroT BbinHCjienna na/i, KOjii>n,aMii b ajiropHTMax
jiHHeHHoii ajireGpbi.
8
UpuMep. Fpynna Sym (3) pacna^aexca na xpn Kjiacca conpajKeHHOcxeii:
Ki = {{)}, i^2 = {(2,3), (1,3), (1,2)}, i^3 = {(1,2,3), (1,3,2)}. (12)
YMHoaceHHe b rpynne nosBOjiHex BBecxH oriepan;Hio yMHOxceHHa ^jih KjiaccoB: npo-
useedenueM KJiaccoe Ki h Kj naabiBaexcH pasjiojKeHHoe na Kjiaccbi MyAhmuMHO-
CHcecmeo Bcex bosmojkhbix npoHSBefleHHii ab, a & Ki, 6 G Kj . OneBH^HO, hto xaK
onpe^ejieHHoe npoHSBe^eHHe KOMMyxaxHBHo, nocKojiBKy ab h ba bxo^hx b o^hh h xox
yKe Kjiacc: ab ~ (ab) a = ba . TaKHM o6pa30M, xa6jiHij,a yMHOxceHHa: KjiaccoB HMeex
KiKj = KjKi = ^CijkKk.
(13)
k=l
HamypaAbHue ij,ejit.ie HHCJia Cijk — KpaxHocxH KjiaccoB b cooxBexcxByiomHX MyjitxH-
MHoacecxBax — HaatiBaioxcH K09(fi(f}uii,ueHmaMU (aAzeBpu) KAaccoe.
IIpuMep. Fpynna Sym (3) HMeex cjie^yion];yio xa6jiHn;y yMHoaceHHS KjiaccoB
KiKj = Kj, K^ = 3Ki + 3K3, K2K3 = 2K2, K^ = 2Ki + K3.
KparriKuu cnucoK ochobhux ceoucme auhcuhux npedcmaeAeHuu kohchhux spynn:
1. KajK^oe jiHHeHHoe npe^cxaBjieHne ynnxapno (BKBHBajienxno ynnxapHOMy).
2. JIio6oe nenpHBOflHMoe npeflcxaBjienne co^epjKHXcji b peryjiapnoM. Bojiee koh-
Kpexno, cymecxByex (ynnxapnaa) MaxpHn;a T o^noBpeivienno npHBO^Hn],aji Bce
MaxpHn,t.i ( JTOj) K BH^y
T-'P{g)T
'DM
'DM
D.M
'dm
DM
(14)
H jiK)6oe HenpHBo;];HMoe npe^^cxaBjienne aBjiaexca oflfiRM ns sjieMenxoB MHOxce-
cxBa {Di, . . . , Dm} ■ Hncjio nesKBHBajienxHbix nenpHBO^HMbix npe^cxaBjienHH
m pasHO HHCjiy KjiaccoB conpHJKennocxett Kj rpynnti G . Mncjio dj 3xo o^-
HOBpeMenno pasMepnocxt nenpnBO^HMoro npe^^cxaBjienna Dj n Kpaxnocxb ero
BxoJKflenHH B peryjiHpnoe npe^cxaBjienne. Hs ( IT^ BH^no, nxo ^jih pasMepnocxeii
G| = M. MojKno noKaaaxB
dj BbinojiniiexcH cooxnomenHe: dl + d"^ + ■ ■ ■ + d^ = | '
xaKJKe, nxo pasMepnocxn ^ejiHX nopa^oK rpynnti: dj
M.
3. KaJKfloe nenpHBO^HMoe npe^cxaBjienne Dj o^noananno (c xonnocxtio nso-
Mop(|)H3Ma) onpe^ejiHexcH cbohm xapaKmepoM Xj 5 t. e. (|)yHKn,HeH na rpynne.
9
onpe^ejiHeMOH kek cjie^ MaTpHn;L.i npe^CTaBjieHHH: Xj (q) = TrZ^j (g) . OaKTH-
HecKH xapaKxep aBjiaexca (|)yHKn;Heii na Kjiaccax coiipajKeHHOcxeii nocKOjibKy
Xj (g) = Xj {0'~^90') ■ 3)yHKn;HH na Kjiaccax nasbiBaioTcs ii;eHTpajibHt.iMH ii,eH-
mpaAbHUMu. JIio6a5i ii;eHTpajibHaji (|)yHKii,Ha HBjiHexca jiHHeiiHoii KOM6HHaii,HeH
xapaKxepoB. SnaHeHHe xapaKxepa Xj Ha Kjiacce Ki = {1} paBHo pasMepnocTH
npe^cxaBjieHHH dj .
4. KoMnaKTHOH (|)opMOH perHCTpaii;HH Bcex nenpHBO^HMBix npe^cxaBjieHHii hbjih-
excH ma6Auii,a xapanmepoe. CtojiGi^bi sxoii Ta6jiHij,t.i nponyMepoBaHBi KjiaccaMH
conpajKeHHbix sjieMeHTOB, a cxpoKH cojxegyK&i SHaneHHH xapaKxepoB HesKBHBa-
jieHTHBix npe^cTaBjieHHH:
Ki
K2
i^m
Xi
1
1
1
X2
X2 (Ki) = d2
■ X2 (i^m)
Xm
Xm (A'l) = dm
Xm(i^2) ■
■ Xm (i^m)
B cooTBexcTBHH CO cxaHflapTHBiM corjiameHHeM, nepBbifi CTOJiGen; cooTBexcTByeT
Kjiaccy e;];HHHHHoro sjieMenxa rpynnbi, a nepBaa cxpoKa co^epjKHX o^HOMepnoe
mpueuaAbHoe npe;];cxaBjieHHe.
4.2 norpy:a<:eHHe KBaHTOBOii CHCxeMbi b KJiaccHHecKyio
B caMoii o6meit (|)opMyjiHpoBKe KBanxoBaa MexaHHKa ripe^riojiaraex, hto KajK^oii (|)h-
SHHecKOH CHCxeMe cooxBexcxByex rHjib6epxoBO npocxpancxBO "H HenyjieBbie BeKxopBi
Koxoporo, ip & , npe;];cxaBji5iiox Bce B03M0>KHbie cocxo3hhh CHCxeMbi. Hpe^nojiara-
exca, HTO BeKxopt.1 ip n ip' onHCbiBaiox ojxiio h xo ace cocxoaHHe, ecjiH ip' = Xip, A G C.
3bojiioii;hh CHCxeMbi h3 cocxoaHHa ipo b cocxoHHHe ipT onncbiBaexca ynumapHUM
onepaxopoM U: \iPt) = U \ipo) ■ yHHxapHocxB osnanaex, hto U HBjiaexca ajieMen-
xoM rpynnbi aBXOMop(|)H3MOB npocxpancxBa "H : t/ G Aut ("H) . Mojkho CHHxaxb, hto
Aut ("H) aBjiHexcH xohhbim ynnxapHBiM npeflcxaBjieHHeM cooxBexcxByiomeii a6cxpaKx-
Hoii rpynnti G . B nenpepbiBHOM BpeMCHH ^HHaMHKy mojkho Btipasnxb b xepMHHax
jioKajiBHoro onepamopa anepzuu {zaMUAhmoHuana) H c noMomBio ypaBHeHHH Illpe-
flHHxepa
EcjiH apMumoe onepaxop H He saBHCHx ox BpeMCHH, xo oh cBHsan c oriepaxopoM
3bojiioii;hh npocxbiM cooxHomeHHeM U = e~''^^.
KoHeHHaa KBanxoBaa CHCxeMa cxpoHxca xohho no xaKoft JKe cxeMe. Tojibko xenepb
rpynna G — KOHeHHaa rpynna nopa^Ka M . Bce BOSMoacHbie onepaxopt.1 3BOjiion;HH 06-
paayiox KOHeHHoe MHoacecxBo {Ui,...,Um} MaxpHii, yHHxapnoro npe^cxaBjieHHa U b
K -MepHOM xHjibGepxoBOM npocxpancxBc • HocKOJiBKy MaxpHi];t.i Uj HeBbipojK^en-
Hbie, Bcer;];a mojkho bbccxh raMHjibxoHHaHbi no (|)opMyjie Hj = z In Uj , no b sxom nex
10
HHKaKoii Heo6xo^HMocTH. SaMexHM, HTo raMHjibTOHHaHL.1 npaKTHHecKH He Hcnojibsy-
lOTCH BO MHOrHX IipHJlOJKeHHaX KBaHTOBOH MexaHHKH, HanpHMCp, B KeanmoeUX 6UHUC-
ACHUfix H B cJ)H3HHecKHX TeopHHX, ocHOBaHHBix Ha Mampuv^e paccefiHUfi ( S - Mampuv^e) .
KoHeHHBie rpynnt.1, ecjiH ohh "^ocxaTOHHO HeKOMMyxaTHBHti", sanacTyio nopojK^a-
lOTCH He6ojibmHM HHCJioM sjicMeHTOB. HanpHMep, Bce npocTtie h Bce cHMMexpHHecKHe
rpynnbi nopojK^aioTCii ^ByMH sjieMeHxaMH. AjiropHXM nocTpoeHHa: Bceii rpynHti, hc-
XOfl3 H3 Ug HOpOJKflaiOmHX SJICMeHTOB, BeCBMa npOCT H CBOflHTCa K ng{M — Ug — 1)
rpynnoBbiM yMHoacenHaM. TaKHM oGpasoM, KBanxoBaa ^HHaMHKa KOHeHHbix chctcm
flocTaxoHHo y^o6Ha ^jih Hccjie^oBaHHH Mexo^aMH KOMnbioTepHoii ajire6pt.i.
Ha paajiojKeHHii ( IT^ bh^ho, hto mbi ecedda MoaceM pacmnpHTB K-Mepnoe npe^-
cxaBjieHHe U N -Mepnoro npe^cxaBjieHHa U b rHjib6epTOBOM npocxpaHCXBe ,
SKBHBajieHTHoro npe;];cTaBjieHHio, cooTBeTCTByiomeMy nepecxanoBKaM neKomoposo N -
sjieMeHTHoro MHOJKecxBa cocto5ihhh S = {si, . . . , Sn} . 5Icho, hto N > K .
CHTyaitHH, Kor^a N cxporo 6ojibme hcm K HanGojiee HHxepecHa. 5Icho, hto flp-
nojiHHTejiBHbie ^^cnpumue napaMempu" — noaBjiaiomHeca b stom cjiynae Hs-sa yBejiH-
HeHH3 HHCJia cocToaHHH (pasMepHOCTH npocTpancTBa) — hhkohm oGpaaoM He Moryx
rioBjiHaxt. Ha ^aHHtie, OTHOCHn^HecH k HpocTpancxBy "Hk , nocKOjiBKy KaK caMO Hk ,
xaK H ero ^onojineHHe b "Hn hbjihiotch HHBapHaHTHbiMH no^npocxpaHCTBaMH b pac-
niHpeHHOM ripocxpaHCTBe "Hn . TaKHM oGpasoM, mbi MoaceM Am6ym KeaHmoeym sadany
B K-MepHOM rHjiL.6epTOBOM HpocTpancTBe cbccth k HepecxaHOBKaM N ajieMCHTOB.
AjiropHTMHHecKH oHepan;HH c HepecxaHOBKaMH naMHoro Gojiee scjDcjDeKTHBHbi, hcm
pa6oTa c MaxpHi^aMH no npaBHjiaM jiHHeflHofi ajire6pt.i, ho, c ^pyrofl cxopoHbi, cxe-
HeHH N HepecxanoBOK Moryx cymecxBenno npeBocxo^HXb pasMepnocxn K MaxpHn;.
BnpoHeM, c HflefiHoii xohkh 3peHH3 npHHii,HnHajibHa3 bosmojkhocxb ceedenufi nean-
moeou aeoAwyuu k nepecmanoeKaM ropas^^o Baacnee ajiropnxMHHecKHX BonpocoB.
IIpHMep. Fpynna Sym (3) HMeex cjie^^yiomyio xa6jiHn;y xapaKxepoB
Ki
K2
K3
Xi
1
1
1
X2
1
-1
1
X3
2
-1
(15)
HanoMHHM, HTO sjieMeHXHtiii cocxaB KjiaccoB Kj BbinHcan b ( lT2l) . B KanecxBe npe^-
cxaBjieHHH U , onncBiBaiomero 3Bojiion;HH KBanxoBott cHcxeMbi, Bt.i6epeM ^ByMepnoe
xoHHoe npe^cxaBjieHHe, cooxBexcxByiomee xapaKxepy Xs ■ MaxpHn;L.i (onepaxopti 3bo-
jiioii;hh) 3xoro npe^cxaBjieHHH b cooxBexcxBHH c iiopHflKOM, b KoxopoM sjieMenxBi rpyn-
nt.1 nepeHHCJieHbi b (fTT]) . hmciox bh^
'1
0"
'0
r2"
'0
r
1
r
1"
72
0"
, Ue =
r
0"
1
r
(16)
11
3^ecb
npHMHTHBHbiH KopeHb TpexbeH cxeneHH h3 e^HHHn;B.i
KBaHTOBbie H nepecTaHOBOHHbie MaTpHii,bi fl^Jin Sym (3) . HocKojibKy jiioGoe
nepecxaHOBOHHoe npe;],cxaBjieHHe Bcer^a co^epjKHX o^HOMepnoe HKBapnaHXHoe no^i;-
"l"
npocxpancxBo nopojK;i;aeMoe BexxopoM
ecxb xojiBKo oflHH cnoco6 pacniHpHXb
(1161) flp nepecxanoBOK xpex sjieMenxoB — Heo6xo^HMO ^o6aBHXB xpHBHajiBHoe npe^-
cxaBjieHHe, cooxBexcxByiomee xapaxxepy Xi ^3 xa6jiHn;L.i (fT5|) . TaKHM o6pa30M, mbi
npHxoflHM K xpexMepHOMy npeflcxaBjieHHio U MaxpHii,t.i Koxoporo hmciox bh^
1
u,
j = l,...,6.
;i7)
3xH MaxpHii;t.i npe^cxaBjiaiox co6oh nepecxaHOBOHHBie MaxpHii;bi b 6a3Hce, b KoxopoM
nepecxanoBOHHoe npe^cxaBjieHHe pa3jio>KeHO na HHBapHanxHBie KOMnoHenxbi. Mbi 6y-
flCM Ha3biBaxb xaKoii 6a3Hc KeanmoeuM. B nepecmaHoeoHHOM 6a3Hce 3xh MaxpHij,bi
HMeiOX BHfl
1
1 ■ ■
1
Pl =
1 ■
, P2 =
■ ■ 1
, ^3 =
1
• 1
• 1 •
1
1
1
1"
Pa =
1
, P^ =
■ ■ 1
, P^ =
1
• 1
1 • •
1
HanGojiee oGmaa ynHxapnaH MaxpHij,a nepexo^a ox riepecxanoBOHHoro 6a3Hca k KBan-
xoBOMy — Mbi onpe^ejiaeM ee cooxHomeHHeivi t/,- =
HMeex BHfl
1
7!
h
br
h
br
r^e a n b npoH3BojibHbie sjieMenxbi MHOJKecxBa {1, r, r^} . KoHKpexHbiii Bbi6op sxhx
3jieMeHxoB He nrpaex HHKaKoii pojiH, nocKOJibKy b cKajispHbix npoH3BefleHH5ix, Hepe3
Koxopbie BbipaacaioxcH Ha6jiio^aeMbie BejiHHHHbi, ohh HCHe3aiox, bxo^h b npoH3Be^eHHJi
^06paTHM BHHMaHHe Ha xapaKTepnyio ocoGeHHOCTb npe^CTaBjieHHa (|16p — ero MaTpHD,M no CTpyx-
Type OHeHb noxojKH na MaTpHLi,bi nepecTanoBOK: b nasKflfiM CT0Ji6ii,e h KasKfloii CTpoKe HMecTca poBHO
o;i,HH HCHyjieBOH sjieMCHT, TOjiBKO BMecTO eduHu% KaK B MaTpHn,ax nepecTanoBOK, Sflecb HenyjieBbie
sjieMeHTbi — KopHu U3 eduHuufii. 3Ta oco6eHHOCTb HBjiaeTCH cjieflCTBiieM Toro, ^^to rpynna Sym (3)
OTHOCHTCH K Tax HasbiBaeMBiM MOHOMuajibWbiM apynnaM y KOToptix Bce nenpHBOflMMbie npe^-
CTaBJieHHH MOJKHO HOCTpoHTb KaK HH;];yD;iipoBaHHbie c oflHOMepHbix npeflCTaBjieHHii HexoTopbix nofl-
rpynn (b cjiynae ()16p TaKOii noflrpynnofi sBjiaeTca C3 < Sym (3) ). SaMCTiiM, hto, no Kpanneii Mepe,
fljisi neBbicoKHX nopaflKOB, 6ojibmHHCTBO rpynn aBjiaroTca hmchho MonoMnajibHbiMH. TaK, nanpHMcp,
HHCjio Bcex HeH30Mop4)Hbix rpynn nopaflKa, MCHbmero 384, paBno 67424. H3 hhx tojibko 249 rpynn
HBjijnoTCH HeMOHOMuajibHbiMU. HaHMeHbmeft neMonoMHajibHon rpynnoii aBjiaeTca 24-3jieMenTnaH
rpynna SL (2, 3) MaTpnu, pa3Mepa 2 x 2 b xapaKTepHCTHxe 3 c eflHHH^HbiM onpe;i,ejiHTejieM.
12
conpHJKeHHMMH napaMH. HosTOMy OKOHHaxejibHO Mt.i BB.i6epeM cjie^yiomyio cJiopMy
MaTpHii,t>i iiepexofla
1
7!
1
7!
(19)
JJ^ajiee mm yBH^HM, hto b stoh MaTpHn;e saKO^HpoBana Bca HH4)opMan;H5i o "KBaHTOBOM
noBefleHHH" rpynnbi nepecxaHOBOK Sym (3) c fleficTBHeM na Tpex sjieMCHTax.
4.2.1 O MO^ejiHpoBaHHH KBaHTOBMx BbiHHCjieHHii KOHeHHBiMH rpynnaMH
PeajiH3an;H5i KBanxoBoro ajiropHXMa CBo;i,HTca k nocxpoeHHio yHHxapHoro onepaxopa,
cooxBexcxByiomero ajiropnxMy, h3 neKoxoporo sa^aHHoro MHOJKecxBa cxan^apxHbix
onepaxopoB. CymecxByiox yHHBepcajiBHBie Ha6opt.i xaKHx onepaxopoB. VHueepcaAh-
Hocmh 3^ecB osHanaex, hto jiio6oh yHHxapHbiii onepaxop MOJKex Gbixb anripoKCHMH-
poBaH KOM6HHan;HeH cxan^apxHtix onepaxopoB, x.e. 3xh onepaxopti HBjiaioxcH oBpasy-
H)iu,UMU 3AeMeHmaMU KoneHHO-iiopoJKfleHHoii rpynnti, Bcio^y hjioxhoh b rpynne Bcex
yHHxapHbix onepaxopoB, ^encxByiomnx na cooxBexcxByiomeM KBanxoBOM perncxpe.
PaccMoxpHM, HanpHMep, cjie^yiomee MHOJKecxBo onepaxopoB:
'1 1
1 -1
(a) onepamop AdaMapa H
1
V2
(h) "(fjasoepaui^ameAb" R{0)
H (cj KOHmpoAupyeMoe ompuyanue
CNOT
1
ripn neKoxopbix ananennjix napaMexpa 6 sxn onepaxopti nopojK^aiox Konennyio rpyn-
ny. HanpHMep, npn 6 = 1/4 na ^^ByxKyGnxnoM perncxpe nopo>K;];aexc3 rpynna G
pasMepa 36864 . CncxeMa KOMnbioxepnon ajire6pt.i GAP [8] Bbi^aex cxpyxxypy sxon
rpynnt.1 b xaKOM BH^e:
G - ((((Cg X C2) X C2) X C3) X C2) X ((SL (2, 3) x C4) x C2) .
B cjiynae snanennii napaMexpa 6 b oGu^eM nojioxcennn onepaxopti (a), (b) n (c) 06-
paayiox ynnBepcajitntie naGopti n, cjie^oBaxejitno, nopoac^aeMtie hmh rpynnti 6ecKO-
nennbi. O^naxo 3xh rpynnti b nexoxopoM CMbicjie 6jih3kh k KonenntiM — onn SBjia-
IOXC3 4)HnHxno annpoKCHMnpyeMbiMH.
HanoMnHM, nxo rpynna G nasbiBaexca cfjuHumno annpoKCUMupyeMou [9], ecjin ^jia
Ka>K;];oro ee sjieMenxa g ^ 1 cyn^ecxByex xaKoii roMOMop4)H3M (j) : G ^ H b ko-
HeHHyw rpynny H , nxo (t){g) 7^ 1 • 3xo osnanaex, nxo jiioGbie cooxnomeHHa MejK^y
sjieMenxaMH rpynnti G mojkho Mo^ejinpoBaxb cooxnomennaMH MejK^y sjieMenxaMH
KoneHHOH rpynnt.1. Corjiacno xeopeMe A.H. Majibn;eBa: ecfiKafi kohchho nopootcdeHHafi
2pynna Mampuv^ Had uoacm (fjuHunmo annpoKCUMupyeMa.
TaKHM o6pa30M, jiio6oh ynnBepcajiBntiii na6op onepaxopoB nopojK^aex cl^nnnxno
annpoKCHMHpyeMyio rpynny. 3xo flaex B03MO>Knocxt. MOflejinpoBaxt KBanxoBbie bbi-
nncjienna c noMoiu;bio Konenntix Mo^ejien no anajiornn c mnpoKO ncnojibsyeMbiM b
(|)H3HKe npneMOM, Kor^a ^jih pemenna nexoxopon sa^ann GecKonennoe npocxpancxBO
13
saMenaexca xopoM pasMep KOToporo ^ocTaxoHeH ^jih Toro, HTo6t.i BMecTHXb ^annbie
sa^aHH.
4.3 CBH3b MaxeMaTHHecKoro onncaHHa c Ha6jiK)/],eHHeM.
IlpaBHJio Bopna
CymecTByioT onpe^ejiennbie tohkocth npn nepexo^e ot MaxeMaTHHecKoro onncaHHa
CHCTCM c cHMMexpnaMH K Ha6jiioflaeMt.iM "oGteKxaM" hjih "BejiHHHHaM". noflpo6Hoe
oGcyjKfleHHe 3toh xeMbi mojkho naiiTH b cxaxBe [10] h b KHHre [H] (cxp. 210 h ^ajiee).
BKpaxLi;e, ^ejio b xom, hto ^jih perncxpai^HH h oxojK^ecxBjieHHa sjieMenxoB cHcxeMbi
HCnOJIBSyiOXCa: npOHSBOJIBHO BL.l6paHHL.ie MeXKH. 06x.eKXHBHL.IH CML.ICJI HMeiOX XOJIBKO
xe cooxHonieHHH h yxBep^Kflenna, Koxoptie ne saBHCHX ox HSMeneHHii b BL.i6ope MexoK
HocKOJibKy 3XH HSMeHeHHH Hpe^cxaBjiHiox C060H He 6ojiee neM HepeHMenoBaHHa. B ch-
cxeMax c cHMMexpnaMH, "o6x.eKXL.i", cocxaBji5HOLu;He "oflHopoflHoe" MHOJKecxBo (6ojLee
(|)opMajiL>Ho, jie>Kaiu;He na o^Hoii rpyHHOBoii op6Hxe) HMeiox pasjiHHHbie MexKH, ho ohh
HepaSJIHHHML.! B a6cOJIIOXHOM CMblCJie. CpHKCHpOBaXB XaKHe o6x.eKXL.I MOJKHO XOJIBKO
oxHOCHxejiBHO HeKoxopoH flOHOjiHHxejiBHOH CHCxeML.1, HpoaBjiaioLLi;eHca KaK cucmeMa
KoopduHam hjih HadAmdameAt hjih cfjusuHecKUU usMepumejihHuu npu6op. HanpHMep,
HeB03Mo>KHo HpH^axb a6cojiioxHL.iH o6x.eKXHBHL.iH CML.ICJI xoHKaM HpocxpaHcxBa, 060-
sHanaeMBiM (HOMenenHbiM) BeKxopaMH a h b , o^naKo oxHomeHne Me>K^y xoHKaMH,
o6o3HaHaeMoe KOM6HHan;HeH b — a yxce HMeex cmbicji. B 6ojiee o6lu;hx rpyiiHOBtix 060-
SHaneHHH sxa KOM6HHan;Hii MOJKex 6L.ixb sanHcana KaK a~-'-b. 3xo iipniviep xhhhhhoh
CHxyaH,HH, Kor^a Ha6jiK)flaeML.ie o6x.eKXL.i hjih cooxHomeHHH hbjihioxch rpyniioBBiMH
HHBapnaHxaMH, 3aBHCiiLu;HMH ox nap aAeMenmoe. O^hh h3 sjienenxoB xaKoii napti ox-
HocHxcH K Ha6jiio^aeMOH cHcxeMe, a ^pyroii — k Ha6jiK)flaxejiK).
B KBanxoBoii MexaHHKe cbhsb ueyKpy MaxeMaxHHecKHM OHHcanneM h SKCHepHMen-
xoM o6ecHeHHBaexca npaeuAOM Bopna jl^, yxBep>K;];aioLu;HM, hxo eepoRmnocmh na-
6jiio^eHH3 KBanxoBOH cHcxeML.1 Haxo^3Lu;eHca b cocxo3hhh ip annapaxoM, nacxpoen-
HL.IM Ha C0CX03HHe BL.ipa>KaeXC3 HHCJIOM
3xo BbipajKeHHe mojkho HepenncaxL. b bh^c, BKnionaiomeM napy "cHcxeMa-annapax"
6ojiee cHMMexpHHHo
3j\ech (j) A — BHemnee (FpaccMaHOBo) npoHSBe^enne BeKxopoB (j) n if) , npe^cxaB-
jiaioLu;ee co6oh K(K — l)/2-MepHL.iH BeKxop c KOMHonenxaMH b ynnxapnoM 6a3Hce
i=l j=i
06biHHo B KBaHxoBoii MexaHHKe npe^HOJiaraiox, hxo BeKxopbi cocxohhhh HopMHpoBa-
HL.I, X. e. {(j) \ (p) = {ip \ ip) = 1 , m sanHCbiBaiox HpaBHjio Bopna b BH^e P{(p,ip) =
(20)
K-l K
14
1(0 I "0)1^, HTO npHBO^HT K ynpomcHHio BL.iHHCjieHHH. HanpHMep, jierKO npoBepHxt.,
HTO (|)yHKLi,H5i P{(j),ip) yflOBjiexBopHex ocHOBHOMy CBoiicTBy BepoHTHOCTH — cyMMa Be-
pOSTHOCTeH BCeX B03M0>KHbIX pesyjIBTaXOB Ha6jIK);i;eHHH COCTOaHHH 1p paBHa eflHHHII,e.
A HMCHHo, fljia jiK)6oro opTOHopMajitHoro 6a3Hca {ai, . . . , ok} b rHjitGepTOBOM ripo-
cxpaHCTBe "H mbi HMeeM:
2=1
0;];HaKO Mbi, cTpeMscb no bosmojkhocth npH;];ep>KHBaTbC3 nanGojiee npocTbix hhcjio-
Bbix cHCTeM, He 6y^eM HcnojibsoBaxb HopMHpoBaHne BCKTopoB.
CymecTByioT MHoroHHCJieHHbie 4)Hjioco4)CKHe cneKyjiHij,HH OTHOCHxejibHO noHaxna
BepoaxHOCTH H ee HHTepnpeTaii;HH, oflnaKO Ha npaKTHKe b ochobhom HCHOjibayexca
HacmomHaR UHmepnpemav^usi: BepoHTHOcxb — sto OTHomeHne HHCjia 6jiaronpH3THbix
cjiynaeB k nojiHOMy HHCJiy cjiynaeB. ^Jia KonenHbix MHoacecTB HHKaKHX cjioacHocxeii
He BosHHKaex BooGn^e — BepoHTHocxb sto paH,HOHajibHoe hhcjio, aBjiaron^eeca oTHome-
HHeM HHCJia Bbl^ejieHHblX 3JieMeHTOB MHOJKeCTBa K HOJIHOMy HHCJiy 3JieMeHTOB.
MoJKHO noKaaaxB, hto ecjiH ^annbie o coctohhhhx CHCxeMBi h annapaTa npe^cxaB-
jieHBi HamypaAbHUMU HUCAaMU b nepecxaHOBOHHOM 6a3Hce, to (|)opMyjia ( 120|) ^aex
pav^uoHaAhHue HUCAa h b HHBapHaHTHbix no^npocTpancTBax nepecxanoBOHHoro npefl-
cxaBjieHHH, HecMoxpa na xo, hxo npoMe>KyxoHHt.ie BBiHHCjieHHH Moryx co^epacaxb li,hk-
JIOXOMHHeCKHe HHCJia H HppaU,HOHajIbHOCXH.
PaccMoxpHM nepecxanoBOHHoe ^eficxBHe rpynnt.1 G = {gi, . . . ,gM} na MHoacecxBe
cocxoHHHH S = {si,...,Sn}. By^cM OHHCbiBaxb cocxo5iHHa CHCxeMbi H annapaxa b
nepecxanoBOHHOM npe^cxaBjieHHH cooxBexcxBCHHO BexxopaMH
(21)
EcxecxBCHHO npe;i,nojiaraxb, hto rii r rrii — HaxypajibHbie HHCjia, HHxepnpexnpya hx
KaK "KpaxHocxH BxojK^eHHa" sjieMenxa Sj b cocxoaHna CHCxeMbi h annapaxa, coox-
BexcxBenno. PasyMeexcH, BBUfly CHMMexpnii caMH sxn nncjia ne na6jiio;];aeMt.i. Ha6jiio-
flaeMMMH SBjisroxca xojibko hx HHBapnanxnbie KOM6Hnan;HH. HocKOjibKy cxan;];apxnoe
CKajiHpnoe nponsBe^enne ([2]) aBjiaexca nnBapnanxnbiM nepecxanoBonnoro npe^i;-
cxaBjienna, mbi, b cooxBexcxBnn c npaBHjioM Bopna, HMeeM
mi
n) =
H m) =
Pfm, n)
Ei rrii^ Ei rii
(22)
HcHO, Hxo ^jia nenyjieBBix BexxopoB n n m c naxypajibntiMH KOMnonenxaMH Bbipa-
JKenne (l22l) npe^cxaBjiaex co6oh pan;HOHajibnoe nncjio 6ojiBmee nyjiH, x. e. na6jno^axB,
K npHMepy, flecxpyKXHBnyio KBanxoByio Hnxep(|)epenn;Hio b xaKon nocxanoBKe sa^ann
neBOSMOJKno b npHHn,Hne.
15
O^HaKo ^ecxpyKTHBHyio HHTep4)epeHii;Hio BCKTopoB c HaTypajibHbiMH KOMnoHeHxa-
MH MOJKHo Ha6jiioflaTb B coGcTBeHHBix HHBapHaHTHBix iioflnpocTpaHCTBax nepecTano-
BOHHoro npe^cxaBjieHHH. Ecjih yKe BeposTHocxH, Ha6jiK);i;aeMbie b HHBapHaHTHbix no^-
ripocTpancTBax, HenyjieBbie, to ohh npe^cxaBjiaioT co6oii paii;HOHajiBHL.ie HHCJia. Hpo-
HjijiiocTpHpyeM 3TO npHMepoM.
HjiJiiocTpaLi,HH: Fpynna Sym (3) , ^eHCTByiom,aa Ha xpex ajieMenxax. Bckto-
pt.1 cocTOHHHii B nepecxaHOBOHHOM 6a3Hce hmciox bh^ \n)
rii
mi
n2
H \m) =
m2
m3_
C noMombio yHHxapHoii MaxpHn;L.i npeoGpasoBaHHH ( 1T9|) mojkho nepeBecxH BeKxop co-
cxoHHHa CHCxeMBi n H3 nepecxanoBOHHoro 6a3Hca b KBanxoBtiii
1 1 1
rii
^3
1
7!
ni + n2 + n3
rii + n2r + nsr^
riiT + 77-2 + nsr^
AHajiorHHHBiM o6pa30M npeo6pa3yexc5i Bexxop annapaxa m
\m)
1
mi + 7712 + m^
mi + ?722r + m^r"^
miT + 7712 + m^r
npoeKii;HH 3XHX BeKxopoB B ;];ByMepHoe npe;];cxaBjieHHe (fT6l) hmciox bh^i;
rii + ?72r + nar^
riir + 772 + nsH
?77i + m2r +
mir + 7712 + ?773r^
Mbl Ox6pOCHJIH 3fleCB K034)4)Hn,HeHX 1 / \/3 nOCKOJIBKy 6opHOBCKa5I BepOHXHOCXB —
npoeKXHBHbiii HHBapHaHx. SaMexHM, hxo BeKxopt.1 ip n (p HCHe3aiox xor^a h xojibko
xor^a, Kor^a
Hi = n2 = H mi = m2 = m^, (23)
nocKOJiBKy npHMHXHBHBiH KopcHb eflHHHii,t.i r B ^aHHOM cjiyHae y^oBjiexBopaex coox-
HomeHHio 1 + r + = . YcjioBHa (123|) onpe^ejiHiox coGcxBeHHbiii Bexxop o^HOMepHoro
xpHBHajiBHoro no^npe^cxaBjieHHH, opxoroHajiBHoro paccMaxpHBaeMOMy ^ByMepnoMy.
^jiH flByMepHoii no^cHcxeMti, Bt.ipa>KeHH5i, Bxo^iimHe b c|)opMyjiy ( 12 Op 6opHOBCKOH
BepoaxHocxH, HMeex bh^
{^P\^) = 3 {nj + nl + nl) - {ui + n2 + ng)' , (24)
(p) = 3 (ml + m\ + m^^ - {mi + 777-2 + "^3)^ , (25)
I (0 I V) 1^ = (3 (?77i77i + 7772^2 + 7713773) - (77li + 7772 + 7773) (77i + 772 + 'T-s))^ • (26)
SaMexHM, Hxo
1. BbipaJKeHHJi ( I24|) - (l26|) cocxohx h3 UHeapuanmoe nepecmaHoeoHHOso npedcmae-
AeHUfi. 3xo noflHepKHBaex (|)yHflaMeHxajit.Hyio pojit. nepecxanoBOK b KBanxoBOM
OnHCaHHH.
16
2. BbipaJKeHHa: ( 12^ h ( 125|) Bcer^a nojiojKHxejibHbie ii;ejit.ie HHCJia. (Ecjih tojibko He
BbiriojiKHioTCH ycjioBHH ( 123|) . iipH KOTopbix 3TH BbipajKeHHH o6pairi,aioTca B Hyjib.)
3. YcjioBMH decmpyKmueHou KeaHmoeou uHmep(f)epeHu,uu, T.e. o6pain;eHHe b nyjit
6opHOBCKoil BepoHTHOCTH (l20|) . oiipe^ejiHioTCJi ypaBHeHHeM
3 (mini + 7712^2 + maris) - (mi + m2 + ms) (ni + ^2 + ns) = 0.
3to ypaBHeHHe HMeex 6ecKOHeHHoe MHOxcecxBO pemeHHii b HaxypajitHtix HHCJiax.
"l"
'I
HpHMep xaKoro pemeHHH: n) =
1
, |m) =
3
2
2
TaKHM o6pa30M, mbi, ripocxbiM nepexo^oM k HHBapHaHXHOMy noflnpocxpancxBy, nojiy-
HHjiH cymecxBeHHbie nepxt.: KBanxoBoro noBe^eHHe h3 "nepecxanoBOHHOH ^HHaMHKH"
H "HaxypajiBHofi" HHxepnpexan;HH (12T]) KBanxoBoii aMnjinxy^ti.
5 3aKjiK)HeHHe
AnajiHS KBaHXOBoro noBe^eHHH c noMombio KoneHHtix Mo^ejieii npHBO^HX k BtiBo^y,
Hxo KBaHxoBaa MexaHHKa ne cxojibko 4)H3HHecKa5i xeopHH, ckojibko b ^ocxaxoHHoli cxe-
neHH anpHopnaa MaxeMaxHHecKaa cxeMa b ocHOBe Koxopofl jieacHX HepasjiHHHMOcxt
o6x.eKXOB — CBoero po;];a "ucHUCAenue nepasAUHUMUx" (no anajiorHH c xepMHHOM
HenpepbiBHOH MaxeMaxHKH ^^ucHUCAenue BecKOHeuHO muaux"). B ocHOBe KBanxoBoro
noBefleHHH jie>KHX (jDyH^^aMeHxajibHaa neBOSMoacHocxb npocjie^HXb xoJK^ecxBeHHOcxb
oflHopoflHbix o6x.eKXOB B npoij,ecce hx 3bojiioij;hh.
r. Befijib no 3XOMy noBo^y nncaji [10] cjie^yiomnM o6pa30M: "B Hacmofim,ee epe-
MH Mu soeopuM moAhKo moM, cKOAhKo 3AeMeHmo6 Hi (t) HaxodumcH 6 COCmORHUU
Ci (t) 6 AH)6ou MOMenm t , nocKOAtKy mu ne MootccM npocAedumh moofcdecmeeHHOcm'b
n undueudoe eo epeMenu. Mu ne snaeM npo SAeMeHm, Haxodfim,uucfi e dauHuu mo-
Mewm, nanpuMep, e cocmoRHuu C5 6ua au oh e npedudyvu,uu MOMenm e cocmofiHuu
C2 UAU Cq ."
HosxoMy o6x.eKXHBHbiMH Moryx Gbixl. xojibko ("cxaxncxHnecKHe") yxBepjK^^enna o
nncjiax nexoxopbix nnBapnanxn^ix KOM6Hnan,HH sjieMenxoB. 3xh yxBepjK^enna jipjiyK-
nt>i Bbipaacaxbca b xepMnnax rpynnoBbix nnBapnanxoB n naxypajifcHbix nnceji (neoGa-
aaxejiBHO Bsanivino nesaBHCHMbix) , xapaKxepH3yion],HX rpynnbi CHMMexpnii, xaxnx KaK
pasMepbi op6Hx, pasMepbi KjiaccoB conpsjKenHbix 3jieMenxoB, K03(|)(|)Hn;Henxbi ajire6pbi
KjiaccoB, pasMepnocxH nenpHBOflHMbix npe^cxaBjienHii, n x.^.
Bjiaro^apHOCTH. Pa6oxa nacxnnno cJinnancnpoBajiacb 3a cnex rpanxoB ^"s 01-01-
00200 PoccHHCKoro Oon^a Oyn^aMenxajibHbix Hccjie^oBannii h HIII-3810.2010.2 Mh-
nncxepcxBa oGpaaoBanna n nayxn Pocchhckoh Oeflepan;HH.
17
JlHTepaxypa
[1
[2
[4
[6
[7:
[9
[10
[11
[12
Poincare H. La valeur de la Science. - Paris: Flammarion, 1904. pycc. nepeBO^ b
KHHre IlyaHKape A. Hayne. Hep. c (jDp./IIo^ pe^. JI.C. HoHTpHrHHa. M.: HayKa,
1990. - 736 c.
Poincare H. Les conceptions nouvelles de la matiere. Foi at vie., 15, 1912, 185-191.
pycc. nepcBOfl b KHnre HyaHKape A. O Hayne. M.: Hayxa, 1990.
Nairz O., Arndt M., Zeilinger A. Quantum Interference Experiments with Large
Molecules. Am. J. Phys., 71, No. 4, 2003, 319-325.
Kornyak V.V. Quantization in Discrete Dynamical Systems. J. Math. Sci., 168,
No. 3, 2010, 390-397.
Kornyak V.V. Structural and Symmetry Analysis of Discrete Dynamical Systems.
2010. http://arxiv.org/abs/1006.1754
OefiHMaH P., Xh6c A. Keanmoeafi Mexanuna u unmespaAU no mpaenmopufiM. M.:
"Mnp", 1968. - 382 c.
Xojiji M. TeopuH zpynn. M.: HJI, 1962. - 468 c.
http:/ /www.gap-system.org/
Marayc B., Kappac A., CojiHTsp J\. KoMBuHamopnaR meopufi spynn. M.: Hayxa,
1974.
Weyl H. Ars Combinatoria. Appendix B; in Philosophy of Mathematics and
Natural Science, Princeton University Press, 1949. pycc. nep. b c6opHHKe Upu-
KJiadnasi KOMBuHamopnaR MamcMamuna. M.: "Mnp", 1968.
IIIacjiapeBHH H.P. OcHoenue noHfimufi aAse6pu. H^kcbck: PX/],, 2001.
Landsman N.P., Born Rule and its Interpretation, pp. 64-70 in Compendium of
Quantum Physics, Greenberger D., Hentschel K., Weinert F. (Eds.), Springer,
2009.
18